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):
Displaying 15 items.
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Circus Time with Reactive Designs (Q3455644) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
