7. EPEW 2010: Bertinoro, Italy

Invited Papers

Network and Software Performance

Timed Models and Model Checking

Case Studies

Model Solutions and Bounds

Compositional Analysis