Pages that link to "Item:Q5703777"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703777):
Displayed 8 items.
- Multi-modal scenarios revisited: a net-based representation (Q418770) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Improving Translation of Live Sequence Charts to Temporal Logic (Q2810977) (← links)
- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis (Q3648823) (← links)
- Verifying Communication Protocols Using Live Sequence Chart Specifications (Q5178973) (← links)
- Some Results on the Expressive Power and Complexity of LSCs (Q5452186) (← links)