Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems /
John Rushby.

Description

Main Author

Rushby, John.

Related Names

Langley Research Center.
SRI International.

Language(s)

English

Published

Washington, D.C. : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; 1991.

Subjects

Computer programs > Computer programs / Verification.
Flight control.
Fault-tolerant computing.

Note

Prepared at SRI International for Langley Research Center under Contract NAS1-18969.

Physical Description

iv, 124 p. : ill. ; 28 cm.

Locate a Print Version

Find in a library

Viewability