Cited in
(34)- How to capture dynamic behaviours of dependable systems
- scientific article; zbMATH DE number 2087795 (Why is no real title available?)
- scientific article; zbMATH DE number 1786479 (Why is no real title available?)
- Applying mean-field approximation to continuous time Markov chains
- Performance Modeling of a Distributed Web Crawler Using Stochastic Activity Networks
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Stochastic Discrete Event Systems
- scientific article; zbMATH DE number 2087812 (Why is no real title available?)
- scientific article; zbMATH DE number 2087800 (Why is no real title available?)
- scientific article; zbMATH DE number 1890702 (Why is no real title available?)
- Optimal state-space lumping in Markov chains
- GreatSPN
- GreatSPN 1.7
- MOTOR
- SHARPE
- SMART_
- ExSpect
- APNN-Toolbox
- SPNP
- QNAT
- AToM3
- PEPA
- Charlie
- SABRE
- Mercator
- ZBDD
- scientific article; zbMATH DE number 2080040 (Why is no real title available?)
- scientific article; zbMATH DE number 1884414 (Why is no real title available?)
- Model-based evaluation of the power versus performance of network routing algorithms
- scientific article; zbMATH DE number 1706364 (Why is no real title available?)
- Compositional modeling of railway virtual coupling with stochastic activity networks
- Applications and Theory of Petri Nets 2004
- Transient analysis of Markov models of fault‐tolerant systems with deferred repair using split regenerative randomization
- Model Checking Software
This page was built for software: Möbius
