Department: LENGUAJES Y SISTEMAS INFORMÁTICOS

Faculty: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

Area: Computer Languages and Systems

Research group: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS

Email: mhornos@ugr.es

Doctor by the Universidad de Granada with the thesis 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. Supervised by Dr. Manuel Capel Tuñón.