Formal methods case studies for DO-333 /

Bibliographic Details

Main Authors:	Cofer, Darren (Author), Miller, Steven P. (Author)
Corporate Author:	United States. National Aeronautics and Space Administration (sponsoring body.)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, April 2014.
Series:	NASA contractor report ; NASA CR-218244.
Subjects:	Avionics. Air traffic control. Software engineering. Computer programming. Theorem proving.
Online Access:	https://purl.fdlp.gov/GPO/gpo53500