Dynamic Clock Elimination in Parametric Timed Automata.

Étienne André

Published in: FSFMA (2013)

Keyphrases

timed automata
reachability analysis
expert systems
model checking
power consumption
dynamically changing
image processing
case study
data structure
low cost