Pages that link to "Item:Q1203646"
From MaRDI portal
The following pages link to On the complexity of generating synchronizable test sequences (Q1203646):
Displaying 3 items.
- Test sequence generation from the protocol data portion based on the selecting Chinese postman algorithm (Q293259) (← links)
- The synchronization problem in protocol testing and its complexity (Q1183455) (← links)
- Synchronization paradigm for protocol testing under multiparty configuration (Q1963369) (← links)