Media type: E-Book; Thesis Title: Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments Other titles: Das Demaskieren der Fehlertoleranz - Vom Quantifizieren deterministischer Wiederherstellungsdynamiken in probabilistischen Umgebungen Contributor: Müllner, Nils Henning [Verfasser]; Theel, Oliver [Akademischer Betreuer]; Katoen, Joost-Pieter [Akademischer Betreuer] imprint: Oldenburg: BIS der Universität Oldenburg, 2014 Extent: Online-Ressource Language: English Identifier: Keywords: Fehlertoleranz, Model Checking, Selbststabilisierung, Markov-Kette, Dekomposition ; Hochschulschrift Origination: University thesis: Oldenburg, Universität Oldenburg, Diss., 2014 Footnote: Access State: Open Access