• Capítulo de Libro
      Icon

      Constraint-Driven Fault Diagnosis 

      Martínez Gasca, Rafael; Varela Vaca, Ángel Jesús; Ceballos Guerrero, Rafael (Springer, 2019)
      Constraint-Driven Fault Diagnosis (CDD) is based on the concept of constraint suspension [6], which was proposed as an ...
    • Capítulo de Libro
      Icon

      Diagnosing Business Processes 

      Borrego Núñez, Diana; Gómez López, María Teresa (Springer, 2019)
    • Capítulo de Libro
      Icon

      Model-Based Software Debugging 

      Ceballos Guerrero, Rafael; Abreu, Rui; Varela Vaca, Ángel Jesús; Martínez Gasca, Rafael (Springer, 2019)
      The complexity and size of software systems have rapidly increased in recent years, with software engineers facing ...