Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems

By: Nasa, National Aeronautics and Space Adm

The formal specification and mechanically checked verification for a model of fault-masking and transient-recovery among the replicated computers of digital flight-control systems are presented. The... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 1731262906
• ISBN13: 9781731262905
• Release Date: January 1
• Publisher: Independently Published
• Length: 134 Pages
• Weight: 0.72 lbs.
• Dimensions: 0.3" x 8.5" x 11.0"