Airborne/spaceborne computers; Aircraft industry; Avionics; Computer information security; Transport aircraft; Civil aviation; Computers; Mathematical models; Prototypes; Standardization;
机译:基于MARTE的模块化组合航空电子系统配置的形式验证方法。
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:分布式集成模块化航空电子系统的混合分区和网络级调度设计
机译:用于多核航空电子系统的具有无冲突I / O的集成模块化航空电子(IMA)分区计划
机译:设计中的模块化:形式化建模和自动化分析。
机译:计划集成模块化航空电子系统中的独立分区
机译:基于模型的优化分区调度的基于模型方法
机译:集成模块化航空电子设备的形式化分区模型