• PhD,

PhD defense - Loriane LECLERCQ-ECHARD - ED MASTIC

Efficient synthesis and verification of parametric timed systems

on December 16, 2024

Monday 16th December 2024 at 10:00am
Ecole Centrale de Nantes, Lecture Theatre S

PhD Supervisor: Didier LIME
Laboratory: LS2N

 
Published on December 3, 2024 Updated on December 3, 2024