Projet de recherche
PID2021-122830OB-C41
Métodos formales escalables para aplicaciones en entornos reales
date_range
Durée de 09 janvier 2022 à 31 août 2025
(44 mois)
Chercheurs
ELVIRA MARÍA
ALBERT ALBIOL
Responsable
ALBERTO
RUBIO GIMENO
Responsable