机译:基于MARTE的模块化组合航空电子系统配置的形式验证方法。
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:集成模块化航空电子型多处理器系统中的硬件重新配置算法
机译:基于FTGPN方法的集成模块化航空电子系统安全分析
机译:使用定时自动机对集成模块化航空电子(IMA)健康监控进行形式验证
机译:重新配置和验证模块化离散事件控制系统。
机译:计划集成模块化航空电子系统中的独立分区
机译:基于新型模型的分析方法,具有多种混凝土通道动态重新配置过程的约束
机译:集成模块化航空电子设备的形式化分区模型