Frank Ortmeier, Matthias Güdemann, Michael Lipaczewski, Simon Struck. Unifying Probabilistic and Traditional Formal Model Based Analysis. In Holger Giese, Michaela Huhn, Jan Phillips, Bernhard Schätz, editors, Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, Schloss Dagstuhl, Germany, 2012, Tagungsband Modellbasierte Entwicklung eingebetteter Systeme. pages 123-132, fortiss GmbH, München, 2012.
Abstract is missing.