机译:基于FPGA的工程安全特征系统开发的软件验证过程和方法
KEPCO Int Nucl Grad Sch, KINGS Instrumentat & Control Lab, Dept Nucl Power Plant Engn, 658-91 Haemaji Ro, Ulsan 45014, South Korea;
KEPCO Int Nucl Grad Sch, KINGS Instrumentat & Control Lab, Dept Nucl Power Plant Engn, 658-91 Haemaji Ro, Ulsan 45014, South Korea;
KEPCO Int Nucl Grad Sch, KINGS Instrumentat & Control Lab, Dept Nucl Power Plant Engn, 658-91 Haemaji Ro, Ulsan 45014, South Korea;
FPGA; Verification; ESF-CCS; IC;
机译:一种规范基于FPGA的高性能DAQ和使用OpenCL处理系统的方法的方法
机译:ANSI / ASSE Z9.14“生物安全等级3(BSL-3)和动物生物安全等级3(ABSL-3)实验室通风系统的测试和性能验证方法”引领了高安全性实验室性能的标准制定
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:核电站中基于PLC的工程安全功能部件控制系统的软件验证和确认过程
机译:安全关键 软件开发过程 和 可靠性 定量 嵌入式系统设计
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:飞行Criticalsystems软件验证和验证的方法开发。阶段1