Pages that link to "Item:Q2863864"
From MaRDI portal
The following pages link to Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking (Q2863864):
Displaying 4 items.
- Responsiveness and stable revivals (Q2642988) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463) (← links)
- PVS Embedding of cCSP Semantic Models and Their Relationship (Q5178979) (← links)