Pages that link to "Item:Q2971175"
From MaRDI portal
The following pages link to Towards a UTP Semantics for Modelica (Q2971175):
Displaying 7 items.
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- On checking equivalence of simulation scripts (Q2035653) (← links)
- Integration of formal proof into unified assurance cases with Isabelle/SACM (Q2065527) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)