• Doctorants - Post-doc,

Avis de soutenance de thèse de doctorat de Loriane LECLERCQ-ECHARD - ED MASTIC

Synthèse et vérification efficace de systèmes temporisés paramétrés

le 16 décembre 2024

Lundi 16 décembre 2024 à 10h
Ecole Centrale de Nantes, Bâtiment S, Amphithéâtre S

Directeur de Thèse : Didier LIME
Laboratoire : LS2N

 
Publié le 3 décembre 2024 Mis à jour le 3 décembre 2024