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