1999-2000

Groupe de travail

Modélisation, Vérification et Tests des systèmes informatisés
&
Petite école pour la vérification

Le programme est maintenant géré par Kaninda Musumbu.
Merci de mettre à jour votre "bookmarks", et de pointer désormais à l'adresse : http://dept-info.labri.u-bordeaux.fr/~musumbu/MVTsi/expose.html

Années précédentes


Navigation

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