An Analysis of Air Traffic Management Concepts of Operation Using Simulation and Formal Verification
AIAA Scitech 2019 Forum
2019-01-01
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Formal Verification of a Redundancy Management Algorithm
British Library Conference Proceedings | 1991
|Future terminal air traffic management concepts
NTRS | 1974
|