The following pages link to (Q4494259):
Displaying 9 items.
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Refinement-Preserving Plug-In Components (Q4923380) (← links)
- Stateflow Diagrams in (Q5179350) (← links)