Back to Results
First PageMeta Content
Markov models / Concurrency / Graph theory / Markov chain / Stochastic / Petri net / Computing / Mathematics / Formal methods


Finite Horizon Analysis of Markov Automata Dissertation zur Erlangung des akademischen Grades des Doktors der Ingenieurwissenschaften (Dr.-Ing.) der Fakultät für Mathematik und Informatik der Universität des Saarlande
Add to Reading List

Document Date: 2018-05-18 11:48:39


Open Document

File Size: 1,09 MB

Share Result on Facebook