Login / Signup
A Calculus for Timed Automata.
Pedro R. D'Argenio
Ed Brinksma
Published in:
FTRTFT (1996)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
first order logic
theorem proving
real time systems
evolutionary algorithm
temporal logic
real time
multi agent