Projets de l’équipe COSMO
Projet ANR JCJC SVeDaS: « Spécification et Vérification des Systèmes basés sur les Données » 2017-2019
DAVESNE Frédéric 2023-12-10T12:06:05+01:00SVeDaS : Spécification et Vérification des Systèmes basés sur [...]
Projets de l’équipe COSMO
SVeDaS : Spécification et Vérification des Systèmes basés sur [...]
SYNBIOTIC Systèmes biologiques de synthèse : de la conception [...]