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