Forschungsprojekt
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Dauer von 09 von Januar von 2022 bis 31 von August von 2025
(44 Monate)
Forscher/innen
ELVIRA MARÍA
ALBERT ALBIOL
Verantwortlich
ALBERTO
RUBIO GIMENO
Verantwortlich