KAERI: Korea Atomic Energy Research Institute,Daejeon, Korea;
Institut fuer Sicherheitstechnologie, Postfach 12 13,85740 Garching, Germany;
机译:蒙特卡洛软件使用系统动力学(SD)方法对核电厂功率提升进行安全评估
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:软件安全生命周期和核电站可编程电子安全系统的方法
机译:核电厂数字I&C系统安全关键软件详尽检测框架的开发
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:图1来自:Belonosov M,Kishkin V(2018)基于逆向工程方法验证核电厂安全系统的应用程序生成和装载。核能和技术4(4):223-228。 https://doi.org/10.3897/nucet.4.31868
机译:核电厂应急电力系统安全评估。 “国际原子能机构安全丛书”第50-sG-D7号手册:核电厂应急电源系统