QEST 2012: London, United Kingdom

Keynote 1

System Performance

Queueing

Markov and Semi-Markov Models

Markov Decision Processes

Keynote 2

Real Time Systems

Security Analysis

Quantitative Semantics

Tools

Keynote 3

Reliability

Measurement and System Modeling

maintained by Schloss Dagstuhl LZI at University of Trier