Nuclear power plant; Commercial grade software; Verification and validation; Dedication;
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:核电站微机保护系统软件的验证方法
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:核电站商业级软件验证与验证方法研究
机译:核电厂安全验证应用的不确定度量化。
机译:AR2一种用于眼电EEG解释的新颖的自动减少肌肉伪影的软件方法:与商用软件的性能验证和比较
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:专家系统软件和传统软件的验证和确认指南:传统软件验证和验证方法的调查和评估。第2卷