Login / Signup

Corrections to "A Menagerie of Timed Automata".

Jeroen J. A. KeirenPeter FontanaRance 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