Department: LENGUAJES Y CIENCIAS DE LA COMPUTACION

Center: E.T.S.I. DE INFORMÁTICA

Institute: INSTITUTO DE TECNOLOGÍA E INGENIERÍA DEL SOFTWARE "JOSÉ MARÍA TROYA LINERO" (ITIS)

Universidad: University of Málaga

Area: Computer Languages and Systems

Research group: INGENIERIA DEL SOFTWARE

Email: mdiaz@uma.es

Doctor by the Universidad de Málaga with the thesis Drl un lenguaje lógico para sistemas distribuidos de tiempo real 1995. Supervised by Dr. José María Troya Linero.