Pages that link to "Item:Q1406345"
From MaRDI portal
The following pages link to Semantics of timed message sequence charts (Q1406345):
Displaying 7 items.
- An algorithm for checking the time consistency of message sequence charts (Q1407080) (← links)
- Checking MSC specifications for timing inconsistency (Q1599639) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)
- A semantics for timed MSC (Q2841319) (← links)
- Timed semantics of message sequence charts based on timed automata (Q2842583) (← links)
- Early verification of computer systems temporal properties (Q2848445) (← links)