Fiche d'un projet ANR

 44488Des systèmes logiciels fiables et conscients des données privées, via les métriques de bisimulation [En savoir plus]REPAS - ANR-16-CE25-0011
AAPG2016 - 2016