Pages that link to "Item:Q3511236"
From MaRDI portal
The following pages link to On Timed Simulation Relations for Hybrid Systems and Compositionality (Q3511236):
Displaying 3 items.
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Towards Component Based Design of Hybrid Systems: Safety and Stability (Q3587253) (← links)