From Scenarios to Timed Automata.

Neda Saeedloei Feliks Kluzniak

Published in: SBMF (2017)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
real time systems
first order logic
temporal logic
application scenarios
real world
real time
information retrieval
image processing
state space
software engineering