TY - BOOK T1 - Validation methods research for fault-tolerant avionics and control systems sub-working group meeting :CARE III Peer Review : proceedings of a sub-working group meeting held at Research Triangle Institute, Research Triangle Park, North Carolina, September 15-16, 1980 / DA - 1980. CY - Washington, D.C. : CY - [Springfield, Va. : AU - Trivedi, Kishor Shridharbhai, AU - Clary, James B. CN - NAS 1.55: CN - QA76.9.A73 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. N1 - "A sequel to previous working group meetings I and II entitled "Validation Methods Research for Fault-Tolerant Avionics and Control Systems" (NASA CP-2114 and CP-2130)"--P. iii. ID - 180367 KW - Fault-tolerant computing KW - Electronic digital computers TI - Validation methods research for fault-tolerant avionics and control systems sub-working group meeting :CARE III Peer Review : proceedings of a sub-working group meeting held at Research Triangle Institute, Research Triangle Park, North Carolina, September 15-16, 1980 / ER -