Acceso a Webmail

Complejo Tecnológico, Campus de Teatinos 29071 Málaga. (España) Teléfono: +34 952133371 Fax: +34 952131397

Proyectos Fin de Carrera  [Volver]

Listado del proyectos

A continuación se muestra el listado de los proyectos Asignados del profesor seleccionado.

X
Implementación de un Model Checker en Java
  Datos
Fecha
28/05/09
Directores
Gallardo Melgarejo, Mª del Mar
Autor
Miguel L. Acuña Heredero

 



Y
Model Checking de Sistemas de tiempo real
  Datos
Fecha
12/01/06
Directores
Gallardo Melgarejo, Mª del Mar
Autor
Beatriz Villar Gibaja