Département: LENGUAJES Y SISTEMAS INFORMÁTICOS

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

Domaine: Lenguajes y Sistemas Informáticos

Groupe de recherche: MODELLING & DEVELOPMENT OF ADVANCED SOFTWARE SYSTEMS

Email: mjfortiz@ugr.es

Docteure à l Universidad de Granada avec la thèse Evolución del software una formalización basada en lógica temporal de predicados y Redes de Petri coloreadas 2000. Dirigée par Dr. José Parets Llorca.