Cover Image

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
Description
Item Description:Title from title screen (viewed Nov. 25, 2014).
"April 2014."
Physical Description:1 online resource (198 pages) : illustrations.
Bibliography:Includes bibliographical references (pages 173-174).