Sciweavers

VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
14 years 5 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle