The following pages link to (Q4412559):
Displaying 13 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)
- Semantic domains for Handel-C (Q2843615) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Circus Time with Reactive Designs (Q3455644) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)
- Applying formal verification to an open-source real-time operating system (Q6535839) (← links)