Pages that link to "Item:Q3557845"
From MaRDI portal
The following pages link to Retaining the Probabilities in Probabilistic Testing Theory (Q3557845):
Displaying 6 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Probabilistic rely-guarantee calculus (Q507375) (← links)
- Reconciling real and stochastic time: the need for probabilistic refinement (Q1941867) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Relating strong behavioral equivalences for processes with nondeterminism and probabilities (Q2253178) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
