Hochschulschrift
Verification of Discrete- and Continuous-Time Non-Deterministic Markovian Systems
- Alternative title
-
Verifikation von non-deterministischen Markovischen Systemen mit diskreter oder kontinuierlicher Zeit
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
München, Technische Universität München, Diss., 2013
- Keyword
-
Markov-Prozess
Atemwegskrankheit
Atemnot
- Event
-
Veröffentlichung
- (where)
-
München
- (who)
-
Universitätsbibliothek der TU München
- (when)
-
2013
- Creator
-
Křetínský, Jan
- Contributor
-
Esparza Estaun, Francisco Javier
Katoen, Joost-Pieter
- URN
-
urn:nbn:de:bvb:91-diss-20131128-1166641-0-1
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:50 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
- Křetínský, Jan
- Esparza Estaun, Francisco Javier
- Katoen, Joost-Pieter
- Universitätsbibliothek der TU München
Time of origin
- 2013
Other Objects (12)
Verification of discrete- and continuous-time non-deterministic Markovian systems
Formal verification of neural agents in non-deterministic environments
Automatic equivalence proofs for non-deterministic coalgebras
Improving lazy non-deterministic computations by demand analysis
Fair group decisions via non-deterministic proportional consensus
A non-deterministic call-by-need lambda calculus
Quantitative Safety Analysis of Non-Deterministic System Architectures
World Food Prices after WTO Foundation: Deterministic and Non-deterministic Factors in Production
Transformational programming with non-deterministic and higher order constructs
Bestimmung des Energiebedarfs von Rechenzentren : non-deterministic resource framework
Non-deterministic analysis of slope stability based on numerical simulation
Non-deterministic analysis of slope stability based on numerical simulation
Verification of discrete- and continuous-time non-deterministic Markovian systems
Formal verification of neural agents in non-deterministic environments
Automatic equivalence proofs for non-deterministic coalgebras
Improving lazy non-deterministic computations by demand analysis
Fair group decisions via non-deterministic proportional consensus
A non-deterministic call-by-need lambda calculus
Quantitative Safety Analysis of Non-Deterministic System Architectures
World Food Prices after WTO Foundation: Deterministic and Non-deterministic Factors in Production
Transformational programming with non-deterministic and higher order constructs
Bestimmung des Energiebedarfs von Rechenzentren : non-deterministic resource framework
Non-deterministic analysis of slope stability based on numerical simulation
Non-deterministic analysis of slope stability based on numerical simulation
Verification of discrete- and continuous-time non-deterministic Markovian systems
Formal verification of neural agents in non-deterministic environments
Automatic equivalence proofs for non-deterministic coalgebras
Improving lazy non-deterministic computations by demand analysis
Fair group decisions via non-deterministic proportional consensus
A non-deterministic call-by-need lambda calculus
Quantitative Safety Analysis of Non-Deterministic System Architectures
World Food Prices after WTO Foundation: Deterministic and Non-deterministic Factors in Production
Transformational programming with non-deterministic and higher order constructs
Bestimmung des Energiebedarfs von Rechenzentren : non-deterministic resource framework
Non-deterministic analysis of slope stability based on numerical simulation