机译:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
Department of Nuclear Engineering, KAIST, 373-1 Kusong-dong, Yusong-gu, Taejon 305-701, South Korea;
requirement verification; prototype verification system; colored petri net;
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:评论:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:核电站微机保护系统软件的验证方法
机译:核电站中基于安全关键软件的保护系统的软件V&V任务
机译:核电厂数字I&C系统安全关键软件详尽检测框架的开发
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:图1来自:Belonosov M,Kishkin V(2018)基于逆向工程方法验证核电厂安全系统的应用程序生成和装载。核能和技术4(4):223-228。 https://doi.org/10.3897/nucet.4.31868
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件