Formal Techniques for Analysing Scenarios using Message Sequence Charts (Q2841314)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Techniques for Analysing Scenarios using Message Sequence Charts |
scientific article |
Statements
Formal Techniques for Analysing Scenarios using Message Sequence Charts (English)
0 references
24 July 2013
0 references
