Pages that link to "Item:Q3434656"
From MaRDI portal
The following pages link to Customized Testing for Probabilistic Systems (Q3434656):
Displaying 3 items.
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- Automatically testing interactive applications using extended task trees (Q2270687) (← links)
- Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems (Q3613092) (← links)
