机译:使用基于模型的开发来处理安全关键的嵌入式C代码中的越界索引
机译:使用基于模型的开发来处理安全关键嵌入式C代码中的索引缺陷
机译:基于模型的测试和评估过程与系统安全过程的集成,以开发安全关键武器系统
机译:基于模型的使用基于模板代码生成的安全关键系统的开发
机译:针对嵌入式系统和机器人应用的基于模型的设计,仿真和自动代码生成。
机译:通过在查询的预测的一维结构特性与模板的相应本机特性之间采用基于概率的匹配改善蛋白质折叠识别和基于模板的建模
机译:使用基于模板的代码生成,基于模型的安全关键系统开发
机译:基于模型的开发是商用飞机上复杂和安全关键计算机系统的有利方法吗?