机译:使用基于模型的推理来调试VHDL设计
Model--based diagnosis; Hardware design; Software debugging;
机译:调试VHDL设计:引入多个模型和第一项实验结果
机译:面向基于模式的推理以进行友好的本体调试
机译:将概率推理纳入反应式程序调试系统
机译:基于模型的软件推理方法用于软件调试
机译:通过基于案例的推理提高约束满意度,从而诊断互操作性问题和调试模型。
机译:科学推理的评估:任务上下文数据和设计对变量控制中学生推理的影响
机译:使用基于模型的推理调试VHDL设计
机译:在不确定性推理下调试规则集