Pages that link to "Item:Q2368695"
From MaRDI portal
The following pages link to Compositional modeling and refinement for hierarchical hybrid systems (Q2368695):
Displaying 5 items.
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains (Q3523111) (← links)
- Trajectory-Based Theory for Hybrid Systems (Q4558883) (← links)
- A computable and compositional semantics for hybrid systems (Q6614877) (← links)
