机译:定量核安全系统中软件可靠性的混合方法
Indira Gandhi Centre for Atomic Research, Kalpakkam 603102, India;
Safety Research Institute, Atomic Energy Regulatory Board, Kalpakkam 603102, India;
Indira Gandhi Centre for Atomic Research, Kalpakkam 603102, India;
software reliability; safety critical software; software verification; mutation testing; test adequacy; software licensing;
机译:贝叶斯信念网络模型的开发,用于核电厂数字保护系统的软件可靠性量化
机译:核电厂安全关键数字系统软件可靠性的详尽测试案例
机译:核电厂安全关键数字系统软件可靠性的详尽测试案例
机译:一种量化基于软件的核电厂安全关键仪器与控制系统的可靠性属性的方法
机译:安全关键 软件开发过程 和 可靠性 定量 嵌入式系统设计
机译:基于综合人类可靠性量化方法的飞行安全评估
机译:开发量化核安全相关软件可靠性的方法