Formal design and verification of a reliable computing platform for real-time control
An edition of Formal design and verification of a reliable computing platform for real-time control (1992)
phase 2 results
By Ricky W. Butler
Publish Date
1992
Publisher
National Aeronautics and Space Administration, Langley Research Center
Language
eng
Pages
-