The following pages link to (Q3384883):
Displaying 5 items.
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- Automata, Languages and Programming (Q5466506) (← links)
- With a little help from your friends: semi-cooperative games via joker moves (Q6535468) (← links)
- Coverage-based testing with symbolic transition systems (Q6536171) (← links)
- Relating alternating relations for conformance and refinement (Q6536353) (← links)