Pages that link to "Item:Q5709997"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5709997):
Displaying 8 items.
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Real-time specification and modeling with joint actions (Q685613) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Integrating time and resource into Circus (Q2848461) (← links)
- UTP, \textsf{\textit{Circus}}, and Isabelle (Q6535825) (← links)