AADL; ARINC653; IMA; multiconstraint; safety analysis;
机译:基于FTGPN方法的集成模块化航空电子系统安全分析
机译:基于AADL误差模型的模块化航空电子系统可靠性分析研究
机译:基于AADL误差模型的模块化航空电子系统可靠性分析研究
机译:时域集成模块化航空电子系统的模型驱动多约束安全分析方法
机译:基于时域有限元缩减-恢复方法的大规模基于电磁学的下一代集成电路分析与设计
机译:计划集成模块化航空电子系统中的独立分区
机译:基于新型模型的分析方法,具有多种混凝土通道动态重新配置过程的约束