Pages that link to "Item:Q1708714"
From MaRDI portal
The following pages link to A hybrid relational modelling language (Q1708714):
Displaying 4 items.
- Syntax and semantics of hybrid database languages (Q5096272) (← links)
- Hybrid Systems: Computation and Control (Q5703930) (← links)
- Linking formal methods in software development. A reflection on the development of rCOS (Q6535826) (← links)
- An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency (Q6561342) (← links)