机译:SPECS:一种轻量级运行时机制,用于保护软件免受安全关键处理器错误的侵害
机译:SPECS:一种轻量级的运行时机制,可保护软件免受安全关键处理器错误的影响
机译:SPECS:一种轻量级的运行时机制,可保护软件免受安全关键处理器错误的影响
机译:关键安全软件与关键安全软件
机译:核电厂数字I&C系统安全关键软件详尽检测框架的开发
机译:敏捷方法的开源安全关键软件
机译:Misra C编码标准及其在安全和安全关键嵌入式软件的开发和分析中的作用
机译:应用于安全关键软件的基于属性的测试环境。