Soumis par Akram.Idani le 13 Septembre, 2017 - 10:06
Une journée commune des groupes de travail Méthodes de Test pour la Vérification
et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL)
aura lieu à Paris, à Telecom ParisTech, le 7 Décembre 2017.
L'appel à contributions est disponible sur : http://lig-membres.imag.fr/idani/MTV2_MFDL/index.html
Cette journée prendra la forme suivante :
Soumis par Akram.Idani le 4 Décembre, 2013 - 12:08
Une réunion commune des groupes de travail Méthodes de Test pour la Vérification et la Validation (MTV2) et Méthodes Formelles pour le Développement Logiciel (MFDL) aura lieu à Grenoble, sur le campus de Saint Martin D'Hères, les 13 et 14 Janvier prochains.
http://membres-liglab.imag.fr/idani/MTV2_MFDL/
Dates à retenir :
- journées : 13 - 14 Janvier 2014
Soumis par Akram.Idani le 17 Novembre, 2012 - 10:29
Journée du groupe MFDL à Paris
19 Décembre 2012