Distributed Behavioral Cartography of Timed Automata.

Étienne André Camille Coti Sami Evangelista

Published in: EuroMPI/ASIA (2014)

Keyphrases

timed automata
model checking
distributed systems
reachability analysis
cooperative
distributed environment
theorem prover
real time
information retrieval
multi agent
mobile agents
website
probabilistic model
graphical models
data management
computer graphics
machine learning
distributed computing
databases