Identifiant projet
10
Acronyme projet
VeDySec
Titre projet
Vérification Dynamique des propriétés de Sécurité
Année début projet
2024
Année fin projet
2027
Type projet
ANR/AID
Équipe projet
LMV
Avancement projet
Accepté
Envergure projet
Nationale