Pages that link to "Item:Q2841317"
From MaRDI portal
The following pages link to Specification and verification using message sequence charts (Q2841317):
Displaying 4 items.
- Realizability of high-level message sequence charts: closing the gaps (Q1884911) (← links)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)
- Specification and verification using message sequence charts (Q2841317) (← links)
- Verifying Communication Protocols Using Live Sequence Chart Specifications (Q5178973) (← links)