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
-
1-2 of 2 Editions
Formal design and verification of a reliable computing platform for real-time control
Language: eng
Published In: 1992
Publisher: National Aeronautics and Space Administration, Langley Research Center
Formal design and verification of a reliable computing platform for real-time control
Language: eng
Published In: 1994
Publisher: National Aeronautics and Space Administration, Langley Research Center, National Technical Information Service, distributor