Cover Image

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
Description
Item Description:"February 2017."
"Performing organization: NASA Langley Research Center"--Report documentation page."
Physical Description:1 online resource (40 pages) : color illustrations.
Bibliography:Includes bibliographical references (pages 38-40).