Departamento: LENGUAJES Y SISTEMAS INFORMÁTICOS

Facultade: E.T.S. DE INGENIERÍAS INFORMÁTICA Y DE TELECOMUNICACIÓN

Área: Linguaxes e Sistemas Informáticos

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

Correo el.: mjfortiz@ugr.es

Doutora pola Universidad de Granada coa tese Evolución del software una formalización basada en lógica temporal de predicados y Redes de Petri coloreadas 2000. Dirixida por Dr. José Parets Llorca.