TY  - BOOK
T1  - Validation methods research for fault-tolerant avionics and control systems :working group meeting, II :
DA  - 1980.
CY  - Washington, D.C. :
CY  - [Springfield, Va. :
AU  - Gault, James W.
AU  - Trivedi, Kishor Shridharbhai,
AU  - Clary, James B.
CN  - NAS 1.55:
CN  - TL678
PB  - National Aeronautics and Space Administration, Scientific and Technical Information Office ;
PB  - for sale by the National Technical Information Service],
PP  - Washington, D.C. :
PP  - [Springfield, Va. :
PY  - 1980.
ID  - 180340
KW  - Airplanes
KW  - Fault-tolerant computing
TI  - Validation methods research for fault-tolerant avionics and control systems :working group meeting, II :
ER  -