Enhanced Distributed Behavioral Cartography of Parametric Timed Automata.
Étienne AndréCamille CotiHoang Gia NguyenPublished in: ICFEM (2015)
Keyphrases
- timed automata
- distributed systems
- model checking
- reachability analysis
- distributed data
- distributed environment
- computer vision
- lightweight
- data sets
- computer graphics
- cooperative
- peer to peer
- real time
- computer networks
- distributed computing
- parametric models
- communication overhead
- distributed network
- behavioral data