Titre:
Logiciels de commande embarqués : robustesse et sécurité
Acronyme: Survol
Coordinateur:
D. Noll
Période : 2008 - 2010.
Partenaires :
Université Paul Sabatier, IMT (D. Noll, P. Apkarian),
Ecole Normale Supérieure, rue d'Ulm, DI
(P. Cousot, R. Cousot).
Publications : Voir les sites
de P. Apkarian,
D. Noll,
P. Cousot,
R. Cousot