Fiche d'un projet ANR

 2500Outils formels pour le prototypage virtuel des systèmes embarqués [En savoir plus]FOTOVP - ANR-06-SETI-0007
SETI - 2006