QEST 2014: Florence, Italy

Keynote Presentations

Kronecker and Product Form Methods

Hybrid Systems

Mean Field/Population Analysis

Models and Tools

Simulation

Queueing, Debugging and Tools

Process Algebra and Equivalences

Automata and Markov Process Theory

Applications, Theory and Tools

Probabilistic Model Checking

a service of Schloss Dagstuhl - Leibniz Center for Informatics