Software Vamp; V; New requirements; GDA; Technical differences; Optimization;
机译:生命关键软件系统的安全性分析:以核电厂为例
机译:电力:核电站故障分析:人们对通过使用先进的硬件和软件工具进行瞬态研究来改善核电站安全寄予厚望
机译:核电厂安全控制系统中的软件和硬件系统
机译:核电站安全I&C系统软件V&V评价研究
机译:核电厂数字I&C系统安全关键软件详尽检测框架的开发
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:核电厂应急电力系统安全评估。 “国际原子能机构安全丛书”第50-sG-D7号手册:核电厂应急电源系统