Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
基于多观测的模型驱动诊断:面向C语言软件和布尔电路的统一方法
机构 * Department of Computer Science, University of Oxford(计算机科学系,牛津大学) ; Czech Technical University in Prague(布拉格捷克技术大学)
专题命中 诊断辅助 :diagnosis(title,abstract)
AI总结 CFaults通过结合多观测的模型驱动诊断方法,为C语言软件和布尔电路提供更高效的故障定位,确保诊断的一致性和最小性。
Comments 50 pages, 9 figures, 6 tables, 5 listings