Fiche d'un projet ANR

 41264Méthode outillée de modélisation formelle des exigences pour des systèmes complexes critiques [En savoir plus]FORMOSE - ANR-14-CE28-0009
Appel à projets générique - 2014