Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation
Infotech@Aerospace 2012
01.01.2012
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2012
|Airframe Certification Methods for Unmanned Aircraft
NTIS | 2006
|