Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation
Infotech@Aerospace 2012
2012-01-01
Conference paper
Electronic Resource
English
British Library Conference Proceedings | 2012
|Airframe Certification Methods for Unmanned Aircraft
NTIS | 2006
|