Outils pour utilisateurs
muc_2010_2011_lecture2
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Prochaine révision Les deux révisions suivantes | |||
|
muc_2010_2011_lecture2 [2010/12/13 16:36] tigli créée |
muc_2010_2011_lecture2 [2010/12/13 16:37] tigli |
||
|---|---|---|---|
| Ligne 2: | Ligne 2: | ||
| ====== Lecture 2 : Formal Methods for Middleware verification ====== | ====== Lecture 2 : Formal Methods for Middleware verification ====== | ||
| - | * Date : December, 14th 2009 | + | * Date : December, 14th 2010 |
| - | * Instructor : A. Ressouche and J.-Y. Tigli | + | * Instructor : A. Ressouche |
| * Duration : 4h | * Duration : 4h | ||
muc_2010_2011_lecture2.txt · Dernière modification: 2010/12/15 10:06 par tigli
Outils de la page
Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International
