QEST 2005: Torino, Italy

Refine list

showing all ?? records


Invited Talk (Pierpaolo Degano)

Petri Nets and Process Algebras

Bisimulation and Approximations

Invited Talk (Leana Golubchik)

Workload Characterization/Measurements


Markovian Models

Model Checking

Invited Talk (Thomas Sterling)

Architecture Measurements/Modeling II

Markov Chains/Importance Sampling

Tool Presentations

a service of  Schloss Dagstuhl - Leibniz Center for Informatics