Pages that link to "Item:Q1398133"
From MaRDI portal
The following pages link to Hybrid systems: computation and control. 6th international workshop, HSCC 2003, Prague, Czech Republic, April 3--5, 2003. Proceedings (Q1398133):
Displaying 3 items.
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement (Q533361) (← links)
- Hybrid state approach for modelling electrical and mechanical systems (Q814267) (← links)
- Symbolic models for control systems (Q868433) (← links)
