Pages that link to "Item:Q698433"
From MaRDI portal
The following pages link to Modular and visual specification of hybrid systems: An introduction to HyCharts (Q698433):
Displaying 6 items.
- HYPE: hybrid modelling by composition of flows (Q470011) (← links)
- A compositional modelling and analysis framework for stochastic hybrid systems (Q2248073) (← links)
- Monotonic hybrid systems (Q2486564) (← links)
- HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour (Q3184681) (← links)
- (Q4499208) (← links)
- SOFSEM 2005: Theory and Practice of Computer Science (Q5711547) (← links)