Ein Fachband aus dem dritten europäischen Performance Engineering Workshop in Budapest, der fortgeschrittene formale Techniken mit stochastischen Modellen verbindet und detaillierte Fallstudien zur Leistungsanalyse von Softwaresystemen liefert.