Media type: E-Book; Thesis Title: On the analysis of stochastic timed systems Contributor: Hartmanns, Arnd [Verfasser]; Hermanns, Holger [Akademischer Betreuer] imprint: Saarbrücken: Saarländische Universitäts- und Landesbibliothek, 2015 Extent: Online-Ressource Language: English Identifier: Keywords: Zeitbehafteter Automat > Stochastischer Automat > Markov-Entscheidungsprozess > Model Checking > Verifikation Origination: University thesis: Saarbrücken, Universität des Saarlandes, Diss., 2015 Footnote: Access State: Open Access