机译:基于模型的测试和评估过程与系统安全过程的集成,以开发安全关键武器系统
机译:基于需求的基于模型的开发方法应用于实时MEG数据处理单元的设计
机译:一种将基于模型的设计应用于安全关键型系统的新方法
机译:基于模型的设计方法,合同,以提高安全关键系统的开发过程
机译:增强测试和评估过程:实施敏捷开发,测试自动化和基于模型的系统工程概念
机译:喷雾干燥工艺开发的基于模型的方法论
机译:具有合同的基于模型的设计方法,可增强安全关键系统的开发过程
机译:基于模型的开发是商用飞机上复杂和安全关键计算机系统的有利方法吗?