Pages that link to "Item:Q3587253"
From MaRDI portal
The following pages link to Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253):
Displayed 4 items.
- Continuity as a computational effect (Q2374315) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Hybrid Tools for Hybrid Systems – Proving Stability and Safety at Once (Q2945598) (← links)
- Crossing the Bridge between Similar Games (Q3172850) (← links)