Login
Dokumenttyp:
Sammelbandbeitrag / Paper in Collective Volume
Titel:
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization
Titel Sammlung:
Stochastic Model Checking
Untertitel Sammlung:
Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Herausgeber Sammlung:
Remke, A.; Stoelinga, M.
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
8453
Verlag:
Springer International Publishing
Jahr:
2014
Seiten von - bis:
156-241
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 3 - Institut für Technische Informatik
Professur:
Siegle, Markus
BibTeX