...
机译:用于评估对核电厂安全至关重要的软件的静态分析工具的评估
EDF R&D, EDF Lab CHATOU, Simulat & Informat Technol Power Generat Syst Dep, 6 Quai Watier,BP 49, F-78401 Chatou, France;
Abstract Interpretation; Software VV; Source Code Semantic Analysis;
机译:评估用于评估对核电厂安全至关重要的软件的静态分析工具
机译:电力:核电站故障分析:人们对通过使用先进的硬件和软件工具进行瞬态研究来改善核电站安全寄予厚望
机译:腐蚀与流动动力学耦合分析评价核电厂冷却系统各部件的腐蚀损伤(IV)静态电化学分析与动态双氧化物层分析耦合模型计算壁厚率的比较及其在压水堆厂
机译:核电厂安全重要系统软件开发下的质量评估和风险
机译:核电厂数字I&C系统安全关键软件详尽检测框架的开发
机译:核电厂安全数字控制系统软件老化管理的探讨
机译:评估用于评估对核电厂安全重要的软件的静态分析工具
机译:软件工具的实际经验,用于评估和改进现有核分析和安全规范的质量。