THÉSÉE


Analyse Statique de Logiciels Asynchrones de Contrôle/Commande
Static Analysis of Asynchronous Control/command Software



RNTL
 
Projet 2005 THÉSÉE du RNTL (Réseau National des Technologies Logicielles) de l'ANR
 

Contacts du projet / Project contacts :

URL du projet / Project URL :


Airbus France     CNRS     ENS
Retour à / back to: THÉSÉE, P. Cousot: Index, Institutions, Enseignement / Teaching, Recherche / Research, Services
Email: cousot@di.ens.fr, cousotp@acm.org
Dernière mise à jour / Last modified : Tuesday, 12-Jan-2010 12:42:15 CET