2012-2573 Towards Certification of Autonomous Unmanned Aircraft Using Formal Model Checking and Simulation
Conference, AIAA Infotech@aerospace ; 2012 ; Garden Grove, CA
2012-01-01
15 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
Aerospace , Infotech , Astronautics , AIAA
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
DataCite | 1894
Software Design of Autonomous Mission Planning for New Imaging Satellite (AIAA 2016-2573)
British Library Conference Proceedings | 2016
|