control engineering computing; electrical safety; formal specification; formal verification; nuclear power stations; power engineering computing; power generation control; power generation protection; programmable controllers; software management; Korea nuclear in;
机译:核电厂安全关键数字系统软件可靠性的详尽测试案例
机译:核电厂安全关键数字系统软件可靠性的详尽测试案例
机译:核电厂安全关键数字系统的软件CCF估算
机译:核电厂安全关键软件保护系统的软件V&V任务
机译:核电厂数字I&C系统安全关键软件详尽检测框架的开发
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:基于系统模型和软件模型共分析的安全关键系统软件FMEA
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件