Departamento: LENGUAJES Y SISTEMAS INFORMÁTICOS

Facultade: FACULTAD DE CIENCIAS ECONÓMICAS Y EMPRESARIALES

Área: Linguaxes e Sistemas Informáticos

Grupo de investigación: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS

Correo el.: mhornos@ugr.es

Doutor pola Universidad de Granada coa tese 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. Dirixida por Dr. Manuel Capel Tuñón.