Process control; Software quality; Model checking; Software reliability; Safety; Security; Aerospace control;
机译:概率布尔网络建模与模型检查作为制造系统DFMEA的方法(Vol 29,PG 1393,2018)
机译:概率布尔网络建模与模型检查作为制造系统DFMEA的方法
机译:提高飞行控制系统设计与仿真精度的集成飞机建模研究
机译:开源飞行控制软件程序模型检查的实证研究
机译:混合系统的定性分析,模型检查和控制器综合。
机译:无人直升机的综合飞行路径计划系统和飞行控制系统
机译:通过对逻辑标记的有限状态机的向量进行顺序调度,可以对嵌入式系统的故障模式和影响分析(FMEA)和软件进行模型检查
机译:用于集成推进系统的先进流体控制。第4部分:使用流体控制技术在模拟飞行条件下演示集成推进系统控制。