QEST 2009: Budapest, Hungary

Tutorials

Model Checking

Phase Type Distributions and Markov Arrival Processes

Hardware, Software Models

Quasy Birth-Death Processes

Stochastic Petri Nets

Probabilistic Model Checking

Performance Analysis Tools

Network Models

Quasy Birth Death Processes

Performance Analysis Tools

Probabilistic Model Checking

maintained by Schloss Dagstuhl LZI at University of Trier