Projets par an
Résultats de recherche
-
Actif
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
-
Terminé
-
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
-
SEMIA: Architecture pour l'imagerie médicale augmentée sémantiquement
Schobbens, P., Ortiz Vega, J. J. & DEBIECHE, A.
1/01/14 → 31/12/15
Projet: Recherche
-
IFLEC : Informatisation du flux des études cliniques
Schobbens, P. & Ortiz Vega, J. J.
21/09/13 → 20/09/15
Projet: Recherche
-
TPA: Théorie et Pratique des Automates et des Logiques
Schobbens, P., CORDY, M., KANG, E. & Ortiz Vega, J. J.
1/01/11 → 31/12/14
Projet: Recherche
-
ORTHOGEN: Système d'information intégré pour la traçabilité et la gestion multi-paramètres des infections orthopédiques.
Schobbens, P., Ortiz Vega, J. J. & DE NIZZA, D.
1/01/10 → 30/06/13
Projet: Recherche