Pages that link to "Item:Q2026807"
From MaRDI portal
The following pages link to Characterization of simulation by probabilistic testing (Q2026807):
Displaying 5 items.
- Model-based testing of probabilistic systems (Q682363) (← links)
- Testing a probabilistic FSM using interval estimation (Q969041) (← links)
- Testing preorders for probabilistic processes can be characterized by simulations (Q1603706) (← links)
- (Q5499122) (← links)
- Formal Approaches to Software Testing (Q5710652) (← links)