Pages that link to "Item:Q5464473"
From MaRDI portal
The following pages link to Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464473):
Displayed 4 items.
- Overcoming observability problems in distributed test architectures (Q844193) (← links)
- Canonical finite state machines for distributed systems (Q1044846) (← links)
- Checking sequences for distributed test architectures (Q2377256) (← links)
- Minimizing Coordination Channels in Distributed Testing (Q3613091) (← links)