MIGUEL
ISABEL MÁRQUEZ
Profesor ayudante doctor
Bukatutako proiektuak
2022
-
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
2015
-
TÉCNICAS ESCALABLES PARA LA VALIDACIÓN DE APLICACIONES CONCURRENTES
ELVIRA MARÍA ALBERT ALBIOL