Login / Signup
Logic based extensions of stochastic process algebras for high-level performance modeling and evaluation.
Ulrich Klehmet
Published in:
ESM (2000)
Keyphrases
</>
stochastic process
high level
stochastic processes
markov chain
stochastic model
low level
brownian motion
diffusion process
probability measures
computer vision
dynamic bayesian networks