Pages that link to "Item:Q5959851"
From MaRDI portal
The following pages link to Verification of a radio-based signaling system using the STATEMATE verification environment (Q5959851):
Displayed 4 items.
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Dependability analysis of the data communication system in train control system (Q1047332) (← links)
- Improving Translation of Live Sequence Charts to Temporal Logic (Q2810977) (← links)
- Verifying Communication Protocols Using Live Sequence Chart Specifications (Q5178973) (← links)