Sujet de thèse :
Théorie des catégories pour la cohérence de modèles multi-niveaux système (MBSE) et sûreté de fonctionnement (MBSA)
Directeur du laboratoire : Imad TAWFIQ
Directeur Adjoint : Achour OUSLIMANI
Délégué de site (Paris 8) : Abderrahman EL MHAMEDI
Délégué de site (Ecam-Epmi) : Rafik ABSI
Service Gestion de la Recherche : Jamil SLAOUI
Assistantes : Francesca GAGNOLATO, Quartz ENSEA
