Finite test set; Software reliability; Safety-critical software; Exhaustive testing;
机译:基于贝叶斯信仰网络的定量软件可靠性评估方法及安全关键软件的统计测试
机译:基于贝叶斯理论的安全关键软件软件可靠性论证测试方法
机译:计算持续时间软件可靠性验证测试的方法的比较,特别是对于安全关键型系统
机译:基于有限测试集的安全关键软件基于测试的可靠性量化方法
机译:安全关键 软件开发过程 和 可靠性 定量 嵌入式系统设计
机译:儿科药物安全信号检测:用于数据挖掘方法和系统性能测试的新药物事件参考集
机译:测试设备的开发及其在安全关键软件验证和可靠性测试中的应用
机译:基于人为可靠性的安全关键软件可用性评估方法(预印本)。