Pages that link to "Item:Q640296"
From MaRDI portal
The following pages link to From control law diagrams to Ada via \textsf{Circus} (Q640296):
Displaying 9 items.
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Test selection for traces refinement (Q481094) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← 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)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)
