Using Formal Requirements and Model-Checking for Verification and Validation of an Unmanned Rotorcraft
AIAA Infotech @ Aerospace
01.01.2015
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
British Library Conference Proceedings | 2015
|Software Verification Considerations for the ARTIS Unmanned Rotorcraft
British Library Conference Proceedings | 2013
|Mooring module for unmanned rotorcraft and unmanned rotorcraft
Europäisches Patentamt | 2020
|