Pages that link to "Item:Q5308451"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308451):
Displaying 4 items.
- Scenario-based verification of real-time systems using UPPAAL (Q633291) (← links)
- Modelling concurrent interactions (Q820134) (← links)
- Pattern matching and membership for hierarchical message sequence charts (Q927396) (← links)
- Verification of scenario-based specifications using templates (Q2849550) (← links)