Pages that link to "Item:Q5311300"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311300):
Displaying 5 items.
- An algebra of hybrid systems (Q1001892) (← links)
- Can we build it: formal synthesis of control strategies for cooperative driver assistance systems (Q2843860) (← links)
- Safety verification of trajectory planning for multiple robots (Q3132075) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)