Groupe de travail

Modélisation et Vérification de Processus. (ex Sémantique du parallélisme)

1994 - 1995

Le mardi de 14h à 15h30
Salle A, LaBRI, Troisième étage.


Réunions.


Années suivantes


Années précédentes


Navigation

  • Equipe Modélisation, Vérification et Test des systèmes informatisés