Pages that link to "Item:Q1603706"
From MaRDI portal
The following pages link to Testing preorders for probabilistic processes can be characterized by simulations (Q1603706):
Displaying 3 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Remarks on Testing Probabilistic Processes (Q2864156) (← links)
