共 11 条
- [1] Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 58 - 62
- [2] STUDY OF UNMANNED AIRCRAFT SYSTEMS PROCEDURES: IMPACT ON AIR TRAFFIC CONTROL 29TH DIGITAL AVIONICS SYSTEMS CONFERENCE: IMPROVING OUR ENVIRONMENT THROUGH GREEN AVIONICS AND ATM SOLUTIONS, 2010,
- [5] Effects of task allocation on air traffic management human-automation system performance 2016 IEEE/AIAA 35TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2016,
- [7] Uncertainty management in enroute air traffic control: a field study exploring controller strategies and requirements for automation Cognition, Technology & Work, 2016, 18 : 541 - 565
- [9] Effects of System Automation Management Strategies and Multi-mission Operator-to-vehicle Ratio on Operator Performance in UAV Systems Journal of Intelligent and Robotic Systems, 2009, 54 : 795 - 810