Projets par an
Projets
Résultats de recherche
-
Actif
-
THCS: Testing Highly-configurable Systems
PERROUIN, G., SCHOBBENS, P., Amrani, M., ORTIZ VEGA, J. J. & HEYMANS, P.
1/01/18 → 31/12/22
Projet: Recherche
-
Thesis-JOR: Formal Methods for the Verification of Distributed Timed Systems
ORTIZ VEGA, J. J. & SCHOBBENS, P.
1/09/17 → 31/08/23
Projet: Projet de thèse
-
CFV: Centre Fédéré en Vérification de Logiciel
SCHOBBENS, P., Bontemps, Y., ORTIZ VEGA, J. J. & KANG, E.
1/10/99 → …
Projet: Recherche