机译:车载软件激活时间的广泛验证
机译:工具支持,用于验证DO-178B A级系统的软件时序和堆栈使用情况
机译:对具有时序要求的软件进行检查和验证
机译:对具有时序要求的软件进行检查和验证
机译:指定和验证用于车载通信的时间触发协议的时序属性
机译:软件验证技术在硬件设计验证中的应用。
机译:用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
机译:验证嵌入式系统的安全关键时序和内存使用特性 摘要解释软件
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷