| 电气/电子/可编程电子安全相关系统 |
E/E/PES的技术和措施概述：随机硬件失效控制 |
电气/电子/可编程电子安全相关系统的功能安全 第7部分：技术和措施概述 GB/T 20438.7-2006、IEC 61508.7-2000 附录A |
咨询
|
| 电气/电子/可编程电子安全相关系统 |
E/E/PES的技术和措施概述：系统失效的避免 |
电气/电子/可编程电子安全相关系统的功能安全 第7部分：技术和措施概述 GB/T 20438.7-2006、IEC 61508.7-2000 附录B |
咨询
|
| 电气/电子/可编程电子安全相关系统 |
达到软件安全完整性的技术和措施的评述 |
电气/电子/可编程电子安全相关系统的功能安全 第7部分：技术和措施概述 GB/T 20438.7-2006、IEC 61508.7-2000 附录C |
咨询
|
| 电气/电子/可编程电子安全相关系统 |
确定预开发软件的软件安全完整性的一种概率法 |
电气/电子/可编程电子安全相关系统的功能安全 第7部分：技术和措施概述 GB/T 20438.7-2006、IEC 61508.7-2000 附录D |
咨询
|
| 核电软件 |
软件建设的验证与确认 |
系统及软件确认和验证标准 IEEE 1012-2012 9.4 |
咨询
|
| 核电软件 |
软件集成测试的验证与确认 |
系统及软件确认和验证标准 IEEE 1012-2012 9.5 |
咨询
|
| 核电软件 |
软件确认测试的验证和确认 |
系统及软件确认和验证标准 IEEE 1012-2012 9.6 |
咨询
|
| 核电软件 |
软件验收测试的验证和确认 |
系统及软件确认和验证标准 IEEE 1012-2012 9.7 |
咨询
|
| 核电软件 |
程序开发过程中的验证和确认概述 |
核工业科学与工程计算机程序验证和确认指南 EJ/T 617-91 4 |
咨询
|
| 核电软件 |
实现阶段的验证和确认活动 |
核工业科学与工程计算机程序验证和确认指南 EJ/T 617-91 7 |
咨询
|