Fondation de Recherche pour l'Aéronautique et l'Espace

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