Pages that link to "Item:Q968306"
From MaRDI portal
The following pages link to A process algebraic framework for specification and validation of real-time systems (Q968306):
Displayed 5 items.
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)