Johannes Kepler University, Linz, Austria;
机译:基于方法的基于方法的校园楼宇自动化系统的最终用户编程规则验证框架
机译:ACT / FHS研究型旋翼飞机获得了飞行员辅助系统“在未准备好的着陆点上的低空飞行和着陆的辅助飞行”的结果
机译:我们可以建立它吗:合作驾驶员辅助系统控制策略的形式综合
机译:一般航空着陆使用正式方法的系统设计
机译:机器参与正式推理:提高自动化形式协助和验证系统的可用性。
机译:基于片上系统的实时BEAM诊断辅助系统研究
机译:航空的正式情景定义语言:飞机着陆案例研究
机译:Faa(联邦航空管理局)可以改善整体航空安全并降低与机场仪表着陆系统相关的成本