Login / Signup

Exact Incremental Analysis of Timed Automata with an SMT-Solver.

Bahareh BadbanMartin Lange
Published in: FORMATS (2011)
Keyphrases
  • statistical analysis
  • search algorithm
  • data analysis
  • timed automata
  • database
  • real time
  • artificial intelligence
  • expert systems