Safety-critical software; Digital IC; Reactor protection system;
机译:数字反应堆保护系统安全关键软件评估的数字系统可靠性测试
机译:基于贝叶斯信仰网络的定量软件可靠性评估方法及安全关键软件的统计测试
机译:计算持续时间软件可靠性验证测试的方法的比较,特别是对于安全关键型系统
机译:基于测试的反应堆保护系统安全关键软件的可靠性评估方法
机译:一种基于机器学习的方法,用于关键任务软件系统的动态可靠性评估。
机译:基于可拓学的数字反应堆保护系统的可靠性
机译:使用事件树/故障树(ET / FT)方法的安全相关数字反应堆保护系统的可靠性评估
机译:核反应堆保护系统的软件可靠性和安全性