CONTROVERT


Vérification de systèmes de contrôle
Control Systems Verification



ARA SSIA
 
Projet 2005 CONTROVERT de l'ARA SSIA (Sécurité des Systèmes embarqués et Intelligence Ambiante) de l'ANR
 

Contacts du projet / Project contacts :

Poster de présentation du projet / Project poster presentation : pdf  (french)

URL du projet / Project URL :


CNRS     ENS     UPS
Retour à / back to: CONTROVERT, P. Cousot: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified : Saturday, 08-Nov-2008 17:12:33 CET