QEST 2007: Edinburgh, Scotland, UK

Invited Talk

Networking

Specification Formalisms

Performance Analysis

Automated Model Analysis

Model Checking

Symbolic Analysis of Markov Chains

Process Algebra

Performance Models

Stochastic Logic

System Modelling

Performance Analysis 2