The following pages link to Interpreting message flow graphs (Q1904641):
Displaying 7 items.
- Checking MSC specifications for timing inconsistency (Q1599639) (← links)
- A semantics of sequence diagrams. (Q1853122) (← links)
- Interpreting message flow graphs (Q1904641) (← links)
- SMT-based scenario verification for hybrid systems (Q2441772) (← links)
- A theory of regular MSC languages (Q2573333) (← links)
- Message sequence charts in the development process -- roles and limitations (Q2841315) (← links)
- A semantics for timed MSC (Q2841319) (← links)