LEADER 01543oam  2200457   450 
001 9910716779603321
005 20210806092208.0
035   $a(CKB)5470000002524377
035   $a(OCoLC)1262990611
035   $a(OCoLC)995470000002524377
035   $a(EXLCZ)995470000002524377
100   $a20210806j202103    ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aDefining and reasoning about model-based safety analysis $ea review /$fMinghui Sun, Cody H. Fleming, and Milena Milich
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dMarch 2021.
215   $a1 online resource (iii, 41 pages) $cillustrations (some color)
225 1 $aNASA/CR ;$v20205009755
300   $a"March 2021."
320   $aIncludes bibliographical references (pages 34-40).
517   $aDefining and reasoning about model-based safety analysis 
606   $aComputer systems programs$2nasat
606   $aModels$2nasat
606   $aSafety$2nasat
615  7$aComputer systems programs.
615  7$aModels.
615  7$aSafety.
700   $aSun$b Minghui$01401137
702   $aFleming$b Cody H.
702   $aMilich$b Milena
712 02$aLangley Research Center,
801  0$bGPO
801  1$bGPO
801  2$bGPO
906   $aBOOK
912   $a9910716779603321
996   $aDefining and reasoning about model-based safety analysis$93469418
997   $aUNINA