Nom
Diagnostic distribué et incrémental de systèmes à événements discrets
Thème
Diagnostic de systèmes à événements discrets de grande dimension
Début
2000
Etat d'avancement
En cours
Ce site est maintenu par
René Quiniou
au moyen du système Weave
développé au sein du projet Caravel :
http://www-caravel.inria.fr
.
Dernière modification : 07-10-2011 09:54:25
English version