Tags

Malware

Ransomware

case studies

Models

Parametric Timed Automata

timed automata

En cours

IMITATOR

opacity

parameter synthesis