Updatable timed automata.

Patricia Bouyer Catherine Dufourd Emmanuel Fleury Antoine Petit

Published in: Theor. Comput. Sci. (2004)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
active rules
information systems
natural language
real time
high level
data streams
object oriented