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

• Authors:

• John M. Rushby

• Affiliations:

• -

• Venue:
• Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
• Year:
• 1992