Projets par an
Résultats de recherche
-
Terminé
VEREV: Vérification de logiciel récursif, évolutif, et temps-réel
Schobbens, P. Y. (Responsable du Projet) & KANG, E.-Y. (Chercheur)
1/02/11 → 31/01/12
Projet: Recherche
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P. Y. (Responsable du Projet), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Ortiz Vega, J. J. (Chercheur)
1/01/11 → 31/12/14
Projet: Recherche
-
VLPL: Vérification de Lignes de Produits Logiciels
Heymans, P. (Responsable du Projet), Schobbens, P. Y. (Responsable du Projet), Classen, A. (Chercheur), CORDY, M. (Chercheur), KANG, E.-Y. (Chercheur) & Legay, A. (Chercheur)
1/01/11 → 1/01/13
Projet: Recherche