smart instrument; architecture of components; robustness; safety; modes of functioning;
机译:在设计初期对智能,可自我重构的船舶流体系统进行损伤分析的建模和仿真
机译:广义布尔逻辑驱动的马尔可夫过程:一个强大的建模框架,用于基于模型的动态可修复和可重构系统的安全性分析
机译:可修复和可重构系统安全分析模型的形式验证
机译:使用智能组件外部模型可重构系统的安全性分析
机译:使用故障树分析检测安全关键嵌入式系统中的组件故障和关键组件
机译:客户治疗师交易智能系统分析的竞争模型
机译:广义布尔逻辑驱动马尔可夫流程:一种强大的动态可修复和可重新配置系统的基于模型的安全性分析建模框架
机译:航空航天传感器组件和子系统调查与创新-2组件探索与开发(asCII-2 CED)。交付订单0002:第2卷。可重新配置的孔径天线虚拟原型(用于集成螺旋电感的宽带集总电路模型)