Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study
AIAA Modeling and Simulation Technologies Conference
01.01.2016
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study (AIAA 2016-3521)
British Library Conference Proceedings | 2016
|British Library Conference Proceedings | 2017
|General aviation landing assistance using formal methods-based system design
IEEE | 2012
|