Dylan Marinho
Dylan Marinho
Accueil
Recherche
Publications
Enseignement
Formation
Responsabilités
Contact
Light
Dark
Automatic
Français
English
Tags
IMITATOR
opacity
parameter synthesis
timed automata
Malware
Ransomware
case studies
Models
Parametric Timed Automata
En cours
»
Citation
×