01617nam 2200481I 450 991070256930332120141125162136.0(CKB)5470000002428484(OCoLC)896882371(EXLCZ)99547000000242848420141125j201404 ua 0engurmn|||||||||txtrdacontentcrdamediacrrdacarrierFormal methods case studies for DO-333 /Darren Cofer and Steven P. MillerHampton, Virginia :National Aeronautics and Space Administration, Langley Research Center,April 2014.1 online resource (198 pages) illustrationsNASA-CR ;2014-218244Title from title screen (viewed Nov. 25, 2014)."April 2014."Includes bibliographical references (pages 173-174).AvionicsnasatAir traffic controlnasatSoftware engineeringnasatComputer programmingnasatTheorem provingnasatAvionics.Air traffic control.Software engineering.Computer programming.Theorem proving.Cofer Darren1402767Miller Steven P.Langley Research Center,United States.National Aeronautics and Space Administration,GPOGPOBOOK9910702569303321Formal methods case studies for DO-3333473914UNINA