Pages that link to "Item:Q5938702"
From MaRDI portal
The following pages link to csp2B: A practical approach to combining CSP and B (Q5938702):
Displaying 17 items.
- csp2B (Q19720) (← links)
- Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B (Q549684) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- CSP theorems for communicating B machines (Q2432218) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Combining the box structure development method and CSP for software development (Q2848418) (← links)
- Reasoning About Resources in the Embedded Systems Language Hume (Q3460507) (← links)
- CSDP 2.3 user's guide (Q4504794) (← links)
- Refinement-Preserving Plug-In Components (Q4923380) (← links)
- Automatic Generation of CSP || B Skeletons from xUML Models (Q5505614) (← links)
- FM 2005: Formal Methods (Q5716878) (← links)
- Integrated Formal Methods (Q5901608) (← links)