...
机译:使用正式方法在模拟空中交通方案中的任务负载和资源冲突的推理
Department of Industrial and Systems Engineering University at Buffalo the State University of New York;
Daniel Guggenheim School of Aerospace Engineering Georgia Institute of Technology;
Daniel Guggenheim School of Aerospace Engineering Georgia Institute of Technology;
Department of Industrial and Systems Engineering University at Buffalo the State University of New York;
Formal methods; Simulation; Model checking; Human–automation interaction; Taskload; Workload; Mode confusion; Air traffic control; Agent-based simulation; Autonomy;
机译:使用正式方法在模拟空中交通方案中的任务负载和资源冲突的推理
机译:解决交通运输成本的网络软件的非功能性冲突正式解决方法
机译:任务负载-效率-安全-缓冲区三角形-空中交通管理的开发和验证
机译:在模拟空中交通场景中建模和分析人员任务负荷的正式方法
机译:了解解决冲突的任务负荷:在空域中实施咨询性冲突检测和解决算法。
机译:在伊朗西部冲突中人为的粮食资源维持了狼群的生存
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用
机译:模拟空中交通管制任务中两种控制器训练方法的比较。雷达空中交通管制人体工程学研究