Théorie des catégories pour la cohérence de modèles multi-niveaux système (MBSE) et sûreté de fonctionnement (MBSA)

Thèse de VIDALIE Julien

Dirigé par Monsieur Jean-Yves CHOLEY ISAE-Supméca et Monsieur Michel BATTEUX Institut de Recherche Technologique SystemX

Soutenance prévue le mercredi 08 février 2023 à 10h00

Lieu : Supméca Institut Supérieur de Mécanique de Paris, 3 rue Fernand Hainaut 93400 Saint-Ouen : Salle de conférence : Amphithéâtre 3