Departament: LENGUAJES Y SISTEMAS INFORMÁTICOS

Facultat: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

Àrea: Llenguatges i Sistemes Informàtics

Grup d'investigació: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS

Correu: mhornos@ugr.es

Doctor per la Universidad de Granada amb la tesi 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. Dirigida per Dr. Manuel Capel Tuñón.