Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

CAV
2007
Springer

favoriteEmaildiscussreport

134views Hardware» more CAV 2007»

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

13 years 8 months ago

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

Download hal.archives-ouvertes.fr

Hubert Garavel, Radu Mateescu, Frédé

Real-time Traffic

CAV 2007 | Hardware |

claim paper

Related Content

» Ten Years of Performance Evaluation for Concurrent Systems Using CADP

» Hyperincident connected components of tagging networks

» Construction and use of linear regression models for processor performance analysis

» Fast direct policy evaluation using multiscale analysis of Markov diffusion processes

» Stochastic modeling and analysis of hybrid mobility in reconfigurable distributed virtual ...

» Relevance of massively distributed explorations of the Internet topology Qualitative resul...

» Online automated performance diagnosis on thousands of processes

» Exploring Intentional Modeling and Analysis for Enterprise Architecture

» ComponentBased Modeling Analysis and Animation

Post Info
More Details (n/a)

Added	12 Aug 2010
Updated	12 Aug 2010
Type	Conference
Year	2007
Where	CAV
Authors	Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe

Comments (0)