Avoiding Shared Clocks in Networks of Timed Automata.

Sandie Balaguer Thomas Chatain

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

timed automata
model checking
reachability analysis
real time
information systems
network analysis
theorem prover
biological networks
social networks
decision trees
database systems
social network analysis
databases
complex networks
network design
cellular networks
database