Formal methods tool qualification /

Bibliographic Details

Main Author:	Wagner, Lucas G. (Author)
Format:	Government Document eBook
Language:	English
Published:	Hampton, Virginia : National Aeronautics and Space Administration, Langley Research Center, February 2017.
Series:	NASA contractor report ; NASA CR-2017-219371.
Subjects:	Avionics. Digital systems. Certification. Identifying. Qualifications.
Online Access:	https://purl.fdlp.gov/GPO/gpo79527 http://purl.fdlp.gov/GPO/gpo79527