The following pages link to (Q4412559):
Displayed 10 items.
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- (Q2843615) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)