Tool Support for Verification and Validation of Adaptive Flight Control Systems
AIAA Infotech@Aerospace Conference
01.01.2009
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
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
|