Hochschulschrift
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
- Weitere Titel
-
Das Demaskieren der Fehlertoleranz - Vom Quantifizieren deterministischer Wiederherstellungsdynamiken in probabilistischen Umgebungen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Oldenburg, Universität Oldenburg, Diss., 2014
- Ereignis
-
Veröffentlichung
- (wo)
-
Oldenburg
- (wer)
-
BIS der Universität Oldenburg
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:gbv:715-oops-19320
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Müllner, Nils Henning
- Theel, Oliver
- Katoen, Joost-Pieter
- BIS der Universität Oldenburg
Entstanden
- 2014
Ähnliche Objekte (12)
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Dynamic fault trees: semantics, analysis and applications
Concepts, algorithms, and tools for model checking
Dynamic fault tree analysis using binary decision diagrams
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Automatically Finding the Right Probabilities in Bayesian Networks
Sound Value Iteration
Fine-Tuning the Odds in Bayesian Networks
Formal methods for real time and probabilistic systems : proceedings
Multi-objective Optimization of Long-run Average and Total Rewards
Verification of pointer programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Dynamic fault trees: semantics, analysis and applications
Concepts, algorithms, and tools for model checking
Dynamic fault tree analysis using binary decision diagrams
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Automatically Finding the Right Probabilities in Bayesian Networks
Sound Value Iteration
Fine-Tuning the Odds in Bayesian Networks
Formal methods for real time and probabilistic systems : proceedings
Multi-objective Optimization of Long-run Average and Total Rewards
Verification of pointer programs
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Unmasking fault tolerance : quantifying deterministic recovery dynamics in probabilistic environments
Dynamic fault trees: semantics, analysis and applications
Concepts, algorithms, and tools for model checking
Dynamic fault tree analysis using binary decision diagrams
Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration
Automatically Finding the Right Probabilities in Bayesian Networks
Sound Value Iteration
Fine-Tuning the Odds in Bayesian Networks
Formal methods for real time and probabilistic systems : proceedings
Multi-objective Optimization of Long-run Average and Total Rewards