- Additional Authors
- Description
- v, 124 p. : ill.; 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 (p. 53-58).
- Reproduction (note)
- Funding (note)
- Prepared for Langley Research Center.
- Call Number
- READEX Microfiche NAS 1.26:4384
- OCLC
- marcive27718115
- Author
Rushby, John, 1949-
- Title
Formal specification and verification of a fault-masking and transient-recovery model for digital flight-control systems [microform] / 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.
- Series
NASA contractor report ; 4384
NASA contractor report ; NASA CR-4384.
- Bibliography
Includes bibliographical references (p. 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
- Research Call Number
READEX Microfiche NAS 1.26:4384