MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
Projets en cours
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
Projets finalisés
2023
-
FORmal models and Technologies for Emerging applications.
ELVIRA MARÍA ALBERT ALBIOL
2018
-
Desarrollo de SIstemas COnfiables mediante MOdelos y herRamientas avanzadas
ELVIRA MARÍA ALBERT ALBIOL
2017
-
Técnicas escalables para la validación de aplicaciones concurrentes
ELVIRA MARÍA ALBERT ALBIOL