Dylan Marinho
Dylan Marinho
Home
Research
Publications
Teaching
Education
Responsibilities
Contact
Light
Dark
Automatic
English
Français
Tags
IMITATOR
opacity
parameter synthesis
timed automata
Malware
Ransomware
case studies
Models
Parametric Timed Automata
Current
»
Cite
×