SMART_
From MaRDI portal
SMART Q16284
Cited in
(46)- Three-valued abstraction for probabilistic systems
- scientific article; zbMATH DE number 1538049 (Why is no real title available?)
- scientific article; zbMATH DE number 1956597 (Why is no real title available?)
- Three-Valued Abstraction for Continuous-Time Markov Chains
- IDD-based model validation of biochemical networks
- P-Semiflow Computation with Decision Diagrams
- Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models
- scientific article; zbMATH DE number 1979554 (Why is no real title available?)
- Stochastic Discrete Event Systems
- Mixing logics and rewards for the component-oriented specification of performance measures
- Correct Hardware Design and Verification Methods
- Fixed-delay events in generalized semi-Markov processes revisited
- GreatSPN
- DSSZ-MC
- DrawNET++
- GreatSPN 1.7
- SHARPE
- PEPS
- MRMC
- ExSpect
- CUDD
- SPNP
- QNAT
- Jphase
- AToM3
- PEPA
- ITEM ToolKit
- RAM Commander FTA
- ZBDD
- mdp
- jMarkov
- MDPtoolbox
- PyMDPtoolbox
- Meddly
- Möbius
- scientific article; zbMATH DE number 2080040 (Why is no real title available?)
- Computation tree measurement language (CTML)
- Symbolic Reachability Analysis of Integer Timed Petri Nets
- scientific article; zbMATH DE number 1706364 (Why is no real title available?)
- Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
- scientific article; zbMATH DE number 1701768 (Why is no real title available?)
- Formalisms for Specifying Markovian Population Models
- Applications and Theory of Petri Nets 2004
- scientific article; zbMATH DE number 1979555 (Why is no real title available?)
- Exploiting interleaving semantics in symbolic state-space generation
- Symbolic State-Space Generation of Asynchronous Systems Using Extensible Decision Diagrams
This page was built for software: SMART_
