Probabilistic Analysis and Verification Framework for Adaptive Flight Control
2017
Aufsatz (Zeitschrift)
Englisch
Probabilistic Analysis and Verification Framework for Adaptive Flight Control
Online Contents | 2017
|A Design, Analysis and Verification Framework for Adaptive Flight Control (AIAA 2015-0611)
British Library Conference Proceedings | 2015
|Bounded Verification of Adaptive Flight Control Systems
British Library Conference Proceedings | 2010
|