Tool Support for Verification and Validation of Adaptive Flight Control Systems
AIAA Infotech@Aerospace Conference
2009-01-01
Conference paper
Electronic Resource
English
Bounded Verification of Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|Bounded Verification of Adaptive Flight Control Systems
AIAA | 2010
|Verification and Validation of Flight-Critical Systems
NTRS | 2010
|