Bounded Verification of Adaptive Flight Control Systems
AIAA Infotech@Aerospace 2010
2010-01-01
Conference paper
Electronic Resource
English
Bounded Verification of Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|Hybrid Decompositional Verification for Discovering Failures in Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|