Login / Signup
Exact Incremental Analysis of Timed Automata with an SMT-Solver.
Bahareh Badban
Martin Lange
Published in:
FORMATS (2011)
Keyphrases
</>
statistical analysis
search algorithm
data analysis
timed automata
database
real time
artificial intelligence
expert systems