Pages that link to "Item:Q1823663"
From MaRDI portal
The following pages link to A new formal method for communication protocol specification (Q1823663):
Displaying 6 items.
- The formalization and analysis of a communications protocol (Q1318284) (← links)
- Studies on algorithms for self-stabilizing communication protocols (Q1975141) (← links)
- A new ratio for protocol categorization (Q2262473) (← links)
- (Q4364529) (← links)
- (Q4436957) (← links)
- A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol (Q5179365) (← links)