Pages that link to "Item:Q549684"
From MaRDI portal
The following pages link to Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684):
Displaying 5 items.
- Refinement patterns for ASTDs (Q736838) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- External and internal choice with event groups in Event-B (Q1941871) (← links)
- Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B (Q3605463) (← links)