Pages that link to "Item:Q706503"
From MaRDI portal
The following pages link to Structural refinement of systems specified in Object-Z and CSP (Q706503):
Displaying 6 items.
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Combining component specifications in Object-Z and CSP. (Q1601244) (← links)
- Model transformations across views (Q2266947) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- (Q4737562) (← links)
- Structural and Dynamic Restrictions of Elementary Object Systems (Q5259299) (← links)