A Safety Verification Approach to Fault-Tolerant Aircraft Supervisory Control
AIAA Guidance, Navigation, and Control Conference ; 2011 ; Portland , Oregon
2011-01-01
Conference paper
Electronic Resource
English
A Safety Verification Approach to Fault-Tolerant Aircraft Supervisory Control
British Library Conference Proceedings | 2011
|Fault tolerant computer for aircraft control
Tema Archive | 1988
|