Pages that link to "Item:Q2377256"
From MaRDI portal
The following pages link to Checking sequences for distributed test architectures (Q2377256):
Displayed 4 items.
- Canonical finite state machines for distributed systems (Q1044846) (← 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)