Formal assurance certifiable tooling strategy final report /

Bibliographic Details

Main Author:	Bush, Eric Niels (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-219372.
Subjects:	Certification. Computer programs. Program verification (computers) Software development tools. Software engineering.
Online Access:	https://purl.fdlp.gov/GPO/gpo82474 http://purl.fdlp.gov/GPO/gpo82474