- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Saarbrücken, Universität des Saarlandes, Diss., 2015
- Keyword
-
Zeitbehafteter Automat
Stochastischer Automat
Markov-Entscheidungsprozess
Model Checking
Verifikation
Verifikation ; Model Checking ; Zeitbehafteter Automat ; Markov-Entscheidungsprozess ; Markov-Kette ; Stochastischer Automat ; Verteiltes System
- Event
-
Veröffentlichung
- (where)
-
Saarbrücken
- (who)
-
Saarländische Universitäts- und Landesbibliothek
- (when)
-
2015
- Creator
-
Hartmanns, Arnd
- Contributor
-
Hermanns, Holger
- URN
-
urn:nbn:de:bsz:291-scidok-60545
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:36 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Hartmanns, Arnd
- Hermanns, Holger
- Saarländische Universitäts- und Landesbibliothek
Time of origin
- 2015
Other Objects (12)
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Compositional analysis of probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Automated repair for timed systems
Automated repair for timed systems
Further Studies on Timed Testing of Concurrent Systems
Computing Reconfiguration Strategies for Self-Adaptive Real-Time Systems with Stochastic Priced Timed Games
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Compositional analysis of probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Automated repair for timed systems
Automated repair for timed systems
Further Studies on Timed Testing of Concurrent Systems
Computing Reconfiguration Strategies for Self-Adaptive Real-Time Systems with Stochastic Priced Timed Games
Interval probabilistic timed graph transformation systems
Induction-based Verification of Timed Systems
On the analysis of stochastic timed systems
On the analysis of stochastic timed systems
Compositional analysis of probabilistic timed graph transformation systems
Compositional analysis of probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Probabilistic timed graph transformation systems
Automated repair for timed systems
Automated repair for timed systems
Further Studies on Timed Testing of Concurrent Systems
Computing Reconfiguration Strategies for Self-Adaptive Real-Time Systems with Stochastic Priced Timed Games
Interval probabilistic timed graph transformation systems