Pages that link to "Item:Q3540074"
From MaRDI portal
The following pages link to Controllable Test Cases for the Distributed Test Architecture (Q3540074):
Displaying 4 items.
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Overcoming controllability problems in distributed testing from an input output transition system (Q1938361) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)