Pages that link to "Item:Q1395717"
From MaRDI portal
The following pages link to Coordination algorithm for distributed testing (Q1395717):
Displayed 8 items.
- Canonical finite state machines for distributed systems (Q1044846) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Using schedulers to test probabilistic distributed systems (Q1941881) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Timing issues in distributed testing (Q2644569) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- Minimizing Coordination Channels in Distributed Testing (Q3613091) (← links)