Media type: E-Book; Thesis Title: On the analysis of stochastic timed systems Contributor: Hartmanns, Arnd [Author] Published: Saarbrücken: universaar, 2015 Published in: Dissertationen aus der Naturwissenschaftlich-Technischen Fakultät der Universität des Saarlandes Issue: Online-Ausg. Extent: Online Ressource (341 S.); graph. Darst Language: English DOI: 10.22028/D291-32292 ISBN: 9783862231829 Identifier: Keywords: Zeitbehafteter Automat > Stochastischer Automat > Markov-Entscheidungsprozess > Model Checking > Verifikation Origination: University thesis: Zugl.: Saarbrücken, Univ., Diss., 2015 Footnote: Access State: Open Access