School of Computer Science, Technical University of Madrid (UPM);
Depts. Of CS and ECE, University of New Mexico;
机译:改进可纠正逻辑设计错误数量的逻辑诊断技术
机译:Petri网和梯形逻辑,用于半自动机器和系统的全自动和可编程逻辑控制科学出版物
机译:Petri网和梯形逻辑,用于半自动机器和系统的全自动和可编程逻辑控制
机译:逻辑程序中自动绑定相关的错误诊断
机译:新程序中基于错误的错误诊断(程序理解,调试,智能计算机辅助说明)。
机译:使用模糊逻辑和动态编程自动检测MR图像上的心脏轮廓。
机译:自动进行与绑定有关的错误诊断 ud在逻辑程序中