Pages that link to "Item:Q1037245"
From MaRDI portal
The following pages link to A formal framework for modeling and validating simulink diagrams (Q1037245):
Displayed 5 items.
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- The refinement calculus of reactive systems (Q2672236) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- A contract-based semantics and refinement for Simulink (Q6168983) (← links)