Dylan Marinho
Associate Professor @ Sorbonne Univerité
Home
Research
Publications
Sortware development
Teaching
Responsibilities
Contact
Guaranteeing timed opacity using parametric timed model checking