CLARA
RODRÍGUEZ NÚÑEZ
Predoctoral FPI
Proxectos vixentes
-
Métodos formales escalables para aplicaciones en entornos reales
ELVIRA MARÍA ALBERT ALBIOL, ALBERTO RUBIO GIMENO
Proxectos finalizados
2022
-
FORmal models and Technologies for Emerging applications.
ELVIRA MARÍA ALBERT ALBIOL