Dylan Marinho
Dylan Marinho
Home
Research
Publications
Teaching
Education
Responsibilities
Contact
Light
Dark
Automatic
2
Guaranteeing timed opacity using parametric timed model checking
Cite
×