Projets par an
Projets
- 2 Terminé
Résultats de recherche
-
Terminé
MPM4CPS: Multi-Paradigm Modelling for Cyber-Physical Systems
Schobbens, P. Y. (Chercheur), Heymans, P. (Chercheur) & Amrani, M. (Chercheur)
21/11/14 → 24/11/18
Projet: Recherche
-
MoCReTT: Model-Checking Real-Time Transformations
Amrani, M. (Chercheur) & Schobbens, P. Y. (Promoteur)
1/10/14 → 30/09/16
Projet: Recherche