Login / Signup
Dominik Krauß
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Monte Carlo Method
Probabilistic Automata
Transition Matrix
Finite State
Top Venues
MMB
</>
Publications
</>
Frederik Hauser
,
Dominik Krauß
,
Michael Menth
FunSpec4DTMC - A Tool for Modelling Discrete-Time Markov Chains Using Functional Specification.
MMB
(2018)