Title: Validation Methods for Fault-Tolerant Avionics and Control Systems
Subjects: Aids to air navigation, Avionics, Congresses, Data processing, Fault-tolerant computing, Testing