Avoiding Shared Clocks in Networks of Timed Automata.
Sandie BalaguerThomas ChatainPublished in: CONCUR (2012)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- network structure
- social networks
- computer networks
- low cost
- real time
- complex systems
- telecommunication networks
- network model
- network analysis
- first order logic
- state space
- dynamic programming
- database systems
- case study
- real world
- neural network
- databases