software tools; VV; specification; safety-critical system; analysis; configuration management;
机译:NuSEE:NPP安全关键系统的软件规范和V&V集成环境
机译:使用S#的安全关键系统的可执行规范
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:NuSEE:NPP安全关键系统的软件规范和V&V集成环境
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:大型临床系统。大型综合门诊医疗系统:芝加哥洛约拉大学医学中心局域网环境中患者信息管理系统的发展
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范