Login / Signup
Corrections to "A Menagerie of Timed Automata".
Jeroen J. A. Keiren
Peter Fontana
Rance Cleaveland
Published in:
ACM Comput. Surv. (2017)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
expert systems
training examples