Pages that link to "Item:Q2432224"
From MaRDI portal
The following pages link to Constructing checking sequences for distributed testing (Q2432224):
Displaying 10 items.
- The relation between preset distinguishing sequences and synchronizing sequences (Q736851) (← links)
- Distributed testing without encountering controllability and observability problems (Q1028999) (← links)
- Coordination algorithm for distributed testing (Q1395717) (← links)
- Checking sequence generation for symbolic input/output FSMs by constraint solving (Q1623146) (← links)
- 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)
- 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)
- Principles of Distributed Systems (Q5713690) (← links)