Dynamical Properties of Timed Automata.

Published in: Discret. Event Dyn. Syst. (2000)

Keyphrases

timed automata
model checking
desirable properties
real time
wide range
artificial neural networks
data sets
neural network
data structure
topological properties
key properties