共 50 条
- [2] Simulation in air traffic management [J]. SIMULATION MODELLING PRACTICE AND THEORY, 2003, 11 (3-4) : 171 - 172
- [3] Mathematical Modelling in Air Traffic Management Security [J]. 2014 NINTH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES), 2015, : 523 - 529
- [4] Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 58 - 62
- [5] Learning methods for air traffic management [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2005, 3571 : 992 - 1001
- [6] Traffic simulation for the development of traffic management systems [J]. TRAFFIC AND MOBILITY: SIMULATION-ECONOMICS-ENVIRONMENT, 1999, : 193 - 204
- [7] SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems [J]. 2021 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2021, : 372 - 379
- [8] SOME MATHEMATICAL ASPECTS OF AIR-TRAFFIC SYSTEMS [J]. JOURNAL OF NAVIGATION, 1977, 30 (03): : 394 - 414
- [10] Measuring the efficiency of air traffic management systems [J]. BULTRANS-2017 - 9TH INTERNATIONAL SCIENTIFIC CONFERENCE ON AERONAUTICS, AUTOMOTIVE AND RAILWAY ENGINEERING AND TECHNOLOGIES, 2017, 133