Fault diagnosis; Electronic equipment; Reliability engineering; Safety; Prognostics and health management;
机译:先进的Ada验证技术:将测试和验证与GNATTest和GNATProve相结合-Hi-Lite项目
机译:基于形式验证的宽边扫描测试对过渡故障的冗余识别
机译:结晶岩断层的预测渗透率模型;通过水压测试获得的联合水力系数(JH)进行验证
机译:故障注入以验证Verilog级别的容错结构的可测试性
机译:过渡故障和过渡路径延迟故障:测试生成,路径选择以及功能性侧面测试的内置生成。
机译:优化撒哈拉以南非洲地区的艾滋病毒检测服务:通过艾滋病毒自我检测和分流检测进行验证检测的成本和性能
机译:基于可测性验证的故障注入系统设计研究