Pages that link to "Item:Q2642989"
From MaRDI portal
The following pages link to Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989):
Displaying 8 items.
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- CSP theorems for communicating B machines (Q2432218) (← links)
- Linking semantic models to support \(\mathrm{CSP} \parallel \mathrm{B}\) consistency checking (Q2863864) (← links)
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463) (← links)
- Automatic Generation of CSP || B Skeletons from xUML Models (Q5505614) (← links)
- FM 2005: Formal Methods (Q5716878) (← links)
- Integrated Formal Methods (Q5901608) (← links)
- csp2B: A practical approach to combining CSP and B (Q5938702) (← links)