Ein Fachband aus dem dritten europäischen Performance Engineering Workshop in Budapest, der innovative formale Methoden mit stochastischen Modellen kombiniert, um die Effizienz von Softwaresystemen präzise zu bewerten und Optimierungspotenziale aufzuzeigen.