机译:核电站微机保护系统软件的验证方法
机译:回复“评论:结合CPN和PVS开发安全关键软件需求验证方法:核电站保护系统应用程序”
机译:评论:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:结合CPN和PVS的安全关键软件需求验证方法的开发:核电站保护系统应用
机译:核电站中基于安全关键软件的保护系统的软件V&V任务
机译:一种通用的,基于微处理器的继电器,带有数据记录功能,可用于电力系统保护。
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:微机设备在核电站中的应用:资格方法的技术基础。评论报告草案