Pages that link to "Item:Q3613003"
From MaRDI portal
The following pages link to Foundations of a Compositional Interchange Format for Hybrid Systems (Q3613003):
Displaying 6 items.
- Application of supervisory control theory to theme park vehicles (Q351743) (← links)
- Syntax and semantics of the compositional interchange format for hybrid systems (Q1932345) (← links)
- Rigorous Discretization of Hybrid Systems Using Process Calculi (Q3172859) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- Compositional Abstraction in Real-Time Model Checking (Q3543301) (← links)
- (Q4963900) (← links)