LEADER 01652nam  2200469I  450 
001 9910703625403321
005 20150429133708.0
035   $a(CKB)5470000002433460
035   $a(OCoLC)908164550
035   $a(EXLCZ)995470000002433460
100   $a20150429j201410    ua             0
101 0 $aeng
135   $aurbn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProjected impact of compositional verification on current and future aviation safety risk /$fMary S. Reveley [and three others]
210  1$aCleveland, Ohio :$cNational Aeronautics and Space Administration, Glenn Research Center,$dOctober 2014.
215   $a1 online resource (21 pages)
225 1 $aNASA/TM ;$v2014-217877
300   $aTitle from title screen (viewed on April 29, 2015).
300   $a"October 2014."
320   $aIncludes bibliographical references (page 21).
606   $aFlight safety$2nasat
606   $aAircraft safety$2nasat
606   $aRisk assessment$2nasat
606   $aPrototypes$2nasat
606   $aManagement planning$2nasat
615  7$aFlight safety.
615  7$aAircraft safety.
615  7$aRisk assessment.
615  7$aPrototypes.
615  7$aManagement planning.
700   $aReveley$b Mary S.$01398505
712 02$aNASA Glenn Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910703625403321
996   $aProjected impact of compositional verification on current and future aviation safety risk$93475522
997   $aUNINA