Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems
By: John Rushby.
Contributors: United States. National Aeronautics and Space Administration. Scientific and Technical Information Program.; SRI International.; Langley Research Center.
Series: NASA contractor report -- 4384.; NASA contractor report -- NASA CR-4384.
Publisher: National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program; For sale by the National Technical Information Service]
Published: 1991
Place of publication: [Washington, D.C.?]; [Springfield, Va
Language: eng
Format: Microform
Number of pages: 124
Subjects: Fault-tolerant computing.; Flight control.
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.