机译:通过设计并发控制器进行验证,消除空中交通管制软件中的同步故障
机译:在空中交通管制的十字路口上I.从地面看,机场拥挤; IFR公共室;当前和将来的自动化系统;美国联邦航空局的计划;空中交通管制员的问题
机译:预测空中交通管制员的工作量:轨迹不确定性作为通过交通冲突间接影响交通密度对管制员工作量的调节器
机译:并发控制器验证设计在空中交通管制软件中的应用
机译:空中交通管制员基于工作负载的分区实现了最佳的空域设计。
机译:空中交通管制活动可增加空中注意力交通管制员
机译:并行控制器验证设计在空中交通管制软件中的应用