Pages that link to "Item:Q2847803"
From MaRDI portal
The following pages link to Formal specification of a web services protocol (Q2847803):
Displaying 5 items.
- Formal specification of a web services protocol (Q861299) (← links)
- Formalization and validation of the general inter-ORB protocol (GIOP) using PROMELA and SPIN (Q1856167) (← links)
- Specifications using XQuery expressions on traces (Q2847801) (← links)
- (Q4790348) (← links)
- A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol (Q5179365) (← links)