Imane HAUR, doctorante au sein de l'équipe STR, soutiendra sa thèse intitulée : "Modélisation et vérification formelles d'un RTOS multicœur conforme à AUTOSAR"  / "AUTOSAR compliant multi-core RTOS formal modeling and verification" le 30 novembre 2022, à 10h, dans l'amphithéâtre du bâtiment S, sur le campus de l'École Centrale. La présentation des travaux se fera en français. Cette thèse a été préparée au sein du laboratoire LS2N à l'École Centrale…