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