机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:IEEE系统和软件验证与确认标准(IEEE Std 1012-2012)
机译:规划计划外的实验:评估安全关键软件标准的有效性
机译:IEEE软件系统安全标准
机译:实施IEEE软件开发质量管理标准。
机译:概念问题和标准。医疗硬件软件和信息交换的标准:IEEE P1157医疗数据交换(MEDIX)委员会概述和状态报告
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:规划计划外实验:评估安全关键软件标准的有效性。