Tags

case studies

Models

Parametric Timed Automata

timed automata

Current

IMITATOR

opacity

parameter synthesis

Detection

Malware