- Additional Authors
- Description
- v, 124 pages : illustrations; 28 cm
- Series Statement
- NASA contractor report ; 4384
- Uniform Title
- NASA contractor report ; NASA CR-4384.
- Subject
- Note
- "SRI International."
- Distributed to depository libraries in microfiche.
- Shipping list no.: 92-0371-M.
- Bibliography (note)
- Includes bibliographical references (pages 53-58).
- Reproduction (note)
- Funding (note)
- Prepared for Langley Research Center.
- Call Number
- READEX Microfiche NAS 1.26:4384
- OCLC
- 27718115
- Author
Rushby, John, 1949-
- Title
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems / John Rushby.
- Imprint
[Washington, D.C.?] : National Aeronautics and Space Administration, Office of Management, Scientific and Technical Information Program ; [Springfield, Va.] : [For sale by the National Technical Information Service], 1991.
- Type of Content
text
- Type of Medium
microform
- Type of Carrier
microfiche
- Series
NASA contractor report ; 4384
NASA contractor report ; NASA CR-4384. http://id.loc.gov/authorities/names/n83825229
- Bibliography
Includes bibliographical references (pages 53-58).
- Funding
Prepared for Langley Research Center. NAS1-18969. 505-64-10-05.
- Reproduction
Microfiche. [Washington, D.C.? : National Aeronautics and Space Administration, 1991]. 2 microfiches.
- Added Author
United States. National Aeronautics and Space Administration. Scientific and Technical Information Program.
SRI International.
Langley Research Center.
- Gpo Item No.
0830-H-14 (MF)
- Sudoc No.
NAS 1.26:4384