The following pages link to (Q4485810):
Displaying 12 items.
- Bio-PEPAd: a non-Markovian extension of Bio-PEPA (Q764354) (← links)
- Performability assessment by model checking of Markov reward models (Q968359) (← links)
- An approach for analyzing the reliability of industrial system using fuzzy Kolmogorov's differential equations (Q1707502) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- On-the-fly verification and optimization of DTA-properties for large Markov chains (Q2248080) (← links)
- Analysis of \(GI^{X}/ M(n)// N\) systems with stochastic customer acceptance policy (Q2481136) (← links)
- Model checking expected time and expected reward formulae with random time bounds (Q2494794) (← links)
- Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments (Q3642953) (← links)
- Revisiting the matrix‐free solution of Markov regenerative processes (Q4897518) (← links)
- Approximating Matrix-Exponential Distributions by Global Randomization (Q5462812) (← links)
- Integrating simulation and numerical analysis in the evaluation of generalized stochastic Petri nets (Q6600065) (← links)
- Mean-payoff optimization in continuous-time Markov chains with parametric alarms (Q6600073) (← links)
