MIGUEL JUAN
HORNOS BARRANCO
PROFESOR TITULAR DE UNIVERSIDAD
Département: LENGUAJES Y SISTEMAS INFORMÁTICOS
Faculté: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES
Domaine: Lenguajes y Sistemas Informáticos
Groupe de recherche: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS
Email: mhornos@ugr.es
Docteur à l Universidad de Granada avec la thèse Desde especificaciones lógicas de intervalos a autómatas de propiedad una construcción tableau para su aplicación en comprobación de modelos on-the-fly 2002. Dirigée par Dr. Manuel Capel Tuñón.