QEST 2012: London, United Kingdom

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics