Dynamical Properties of Timed Automata Revisited.

Published in: FORMATS (2007)

Keyphrases

timed automata
wide range
model checking
structural properties
key properties
data sets
search engine
decision trees
high level
medical images
theorem prover