机译：用于评估对核电厂安全至关重要的软件的静态分析工具的评估
机译：评估用于评估对核电厂安全至关重要的软件的静态分析工具
机译：电力：核电站故障分析：人们对通过使用先进的硬件和软件工具进行瞬态研究来改善核电站安全寄予厚望
机译：核电厂安全重要系统软件开发下的质量评估和风险
机译：核电厂数字I＆C系统安全关键软件详尽检测框架的开发
机译：核电厂安全数字控制系统软件老化管理的探讨
机译：评估用于评估对核电厂安全重要的软件的静态分析工具
机译：软件工具的实际经验，用于评估和改进现有核分析和安全规范的质量。
