Projets par an
Projets
- 2 Terminé
Résultats de recherche
-
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
1/02/11 → 31/01/12
Projet: Recherche
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P., Schobbens, P. Y., Classen, A., CORDY, M., KANG, E. & Legay, A.
1/01/11 → 1/01/13
Projet: Recherche