Pages that link to "Item:Q2716781"
From MaRDI portal
The following pages link to Compositionality issues in discrete, continuous, and hybrid systems (Q2716781):
Displaying 4 items.
- Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
- Bisimilar linear systems. (Q1421437) (← links)
- Hybrid process algebra (Q1763160) (← links)
- Bisimulation relations for dynamical, control, and hybrid systems (Q2566293) (← links)
