LEADER 01617nam  2200481I  450 
001 9910702569303321
005 20141125162136.0
035   $a(CKB)5470000002428484
035   $a(OCoLC)896882371
035   $a(EXLCZ)995470000002428484
100   $a20141125j201404    ua             0
101 0 $aeng
135   $aurmn|||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aFormal methods case studies for DO-333 /$fDarren Cofer and Steven P. Miller
210  1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dApril 2014.
215   $a1 online resource (198 pages) $cillustrations
225 1 $aNASA-CR ;$v2014-218244
300   $aTitle from title screen (viewed Nov. 25, 2014).
300   $a"April 2014."
320   $aIncludes bibliographical references (pages 173-174).
606   $aAvionics$2nasat
606   $aAir traffic control$2nasat
606   $aSoftware engineering$2nasat
606   $aComputer programming$2nasat
606   $aTheorem proving$2nasat
615  7$aAvionics.
615  7$aAir traffic control.
615  7$aSoftware engineering.
615  7$aComputer programming.
615  7$aTheorem proving.
700   $aCofer$b Darren$01402767
702   $aMiller$b Steven P.
712 02$aLangley Research Center,
712 02$aUnited States.$bNational Aeronautics and Space Administration,
801  0$bGPO
801  1$bGPO
906   $aBOOK
912   $a9910702569303321
996   $aFormal methods case studies for DO-333$93473914
997   $aUNINA