Pages that link to "Item:Q2434558"
From MaRDI portal
The following pages link to Synthesizing distributed protocol specifications from a UML state machine modeled service specification (Q2434558):
Displaying 3 items.
- Deriving protocol specifications from service specifications written as Predicate/Transition-nets (Q856741) (← links)
- Synthesizing distributed protocol specifications from a UML state machine modeled service specification (Q2434558) (← links)
- Deriving protocol specifications from service specifications written in LOTOS (Q5137326) (← links)