CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.

Hubert Garavel Radu Mateescu Frédéric Lang Wendelin Serwe

Published in: CAV (2007)

Keyphrases

multi agent
image analysis
data analysis
statistical analysis
databases
cooperative
distributed systems
data sets
real world
case study
image sequences
multiscale
fault tolerant