Saila: LENGUAJES Y SISTEMAS INFORMÁTICOS

Fakultatea: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

Eremua: Lengoaia eta Sistema Informatikoak

Ikerketa taldea: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS

E-maila: mhornos@ugr.es

Doctor por la Universidad de Granada con la tesis 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. Tesiaren zuzendaria Dr. Manuel Capel Tuñón.