Safety verification; Air traffic control; Paraconsistent logic program; Annotated logic; EVALPSN; Probabilistic EVALPSN;
机译:基于EVALPSN安全验证的管道阀门控制。
机译:地铁和空中交通管制应用中的软件安全
机译:航空电子II:航空安全:座舱视野:一位经验丰富的航空公司飞行员评估了航空安全和空中交通管制趋势的过去,现在和未来
机译:概率EVALPSN及其在空中交通管制安全验证中的应用
机译:通过系统控制能力对空中交通管制系统进行定量安全评估。
机译:超越安全司机:应用空中交通管制原则以支持无人驾驶车辆的部署
机译:并行控制器验证设计在空中交通管制软件中的应用
机译:概率跟踪滤波器的应用:重点关注空中交通管制的首次评估。第2部分:实时流量样本