TY - BOOK AU - Gault, James W. AU - Trivedi, Kishor Shridharbhai, AU - Clary, James B. CN - NAS 1.55: CN - TL678 CY - Washington, D.C. : CY - [Springfield, Va. : DA - 1980. ID - 180340 KW - Airplanes KW - Fault-tolerant computing 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. T1 - Validation methods research for fault-tolerant avionics and control systems :working group meeting, II : TI - Validation methods research for fault-tolerant avionics and control systems :working group meeting, II : ER -