Formal methods case studies for DO-333 /
Saved in:
Main Authors: | , |
---|---|
Corporate Author: | |
Format: | Government Document Electronic eBook |
Language: | English |
Published: |
Hampton, Virginia :
National Aeronautics and Space Administration, Langley Research Center,
April 2014.
|
Series: | NASA contractor report ;
NASA CR-218244. |
Subjects: | |
Online Access: | CONNECT |