An edition of Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
(1991)
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
by John Rushby
Share
×Close
This edition doesn't have a description yet. Can you add one?
Publish Date
1991
Publisher
National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program,
For sale by the National Technical Information Service]
Language
English
Pages
124
Buy this book
Subjects
Flight control, Fault-tolerant computing| Edition | Availability |
|---|---|
1
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
1991, National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program, For sale by the National Technical Information Service]
Microform
in English
|
aaaa
|
Book Details
Edition Notes
"SRI International."
Distributed to depository libraries in microfiche.
Shipping list no.: 92-0371-M.
Includes bibliographical references (p. 53-58).
Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration, 1991] 2 microfiches.
Prepared for Langley Research Center. NAS1-18969. 505-64-10-05.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| January 19, 2010 | Edited by WorkBot | add subjects and covers |
| December 11, 2009 | Created by WorkBot | add works page |