Pages that link to "Item:Q5464473"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464473):
Displaying 7 items.
- Overcoming observability problems in distributed test architectures (Q844193) (← links)
- Overcoming controllability problems with fewest channels between testers (Q1013263) (← links)
- Distributed testing without encountering controllability and observability problems (Q1028999) (← links)
- Canonical finite state machines for distributed systems (Q1044846) (← links)
- Overcoming controllability problems in distributed testing from an input output transition system (Q1938361) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Minimizing Coordination Channels in Distributed Testing (Q3613091) (← links)