Computer Codes ; Criticality ; Fissile Materials ; Benchmarks ; Cross Sections ; Multiplication Factors ; Plutonium Nitrates ; Progress Report ; Reactivity Worths ; Research Programs ; Safety Analysis ; Uranium ; Verification;
机译:安全关键计算机系统的安全验证:以核电站系统为例
机译:使用国际关键安全性基准评估项目基准来验证低浓铀配置的CSAS26(第4.4a级)
机译:人造纤维毒性的评估:法国巴黎举行的一次研讨会的最终报告1994年2月3日至4日
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:对安全至关重要的计算机系统的定量安全评估。
机译:通过将道德尺寸整合到危急事件报告系统来提高患者安全性
机译:铀系统,以增强用于验证关键性安全计算机模型的基准。最终报告,1990年2月16日 - 1994年12月31日