Pages that link to "Item:Q2368993"
From MaRDI portal
The following pages link to Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993):
Displaying 8 items.
- Symbolic computing in probabilistic and stochastic analysis (Q327047) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- A General Testability Theory (Q3184700) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)