Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
AIAA Infotech@Aerospace 2010
01.01.2010
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|Bounded Verification of Adaptive Flight Control Systems
AIAA | 2010
|Bounded Verification of Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|Accommodating Actuator Failures in Flight Control Systems
British Library Conference Proceedings | 1999
|