Pages that link to "Item:Q1963369"
From MaRDI portal
The following pages link to Synchronization paradigm for protocol testing under multiparty configuration (Q1963369):
Displaying 4 items.
- An optimization technique for protocol conformance testing using multiple UIO sequences (Q916346) (← links)
- The synchronization problem in protocol testing and its complexity (Q1183455) (← links)
- On the complexity of generating synchronizable test sequences (Q1203646) (← links)
- Multiparty testing preorders (Q5060196) (← links)