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