共 50 条
- [41] Brazilian Air Traffic Network Analysis Using Social Network Metrics 2022 9TH INTERNATIONAL CONFERENCE ON SOFT COMPUTING & MACHINE INTELLIGENCE, ISCMI, 2022, : 264 - 269
- [43] Requirements analysis of air traffic control system using formal methods ICIET 2007: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INFORMATION AND EMERGING TECHNOLOGIES, 2007, : 216 - +
- [45] Calculation and analysis of air traffic green performance based on flight trajectory data Zhongguo Huanjing Kexue/China Environmental Science, 2019, 39 (03): : 988 - 993
- [46] Animated visualization of spatial–temporal trajectory data for air-traffic analysis The Visual Computer, 2016, 32 : 371 - 381
- [47] Decision Analysis of Air Traffic Controller In Order to propose Decision Support Systems CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, 2009, : 566 - 571
- [48] Analysis of air traffic control systems interference impact on Galileo aeronautics receivers 2005 IEEE International Radar, Conference Record, 2005, : 585 - 595
- [49] Formal analysis of air traffic management systems:: The case of conflict resolution and recovery PROCEEDINGS OF THE 2003 WINTER SIMULATION CONFERENCE, VOLS 1 AND 2, 2003, : 906 - 914
- [50] Probabilistic Model Checking for Comparative Analysis of Automated Air Traffic Control Systems 2014 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2014, : 690 - 695