Pages that link to "Item:Q3012937"
From MaRDI portal
The following pages link to On Reachability for Hybrid Automata over Bounded Time (Q3012937):
Displaying 6 items.
- A pre-order relation for exact schedulability test of sporadic tasks on multiprocessor global fixed-priority scheduling (Q283177) (← links)
- Interrupt timed automata: verification and expressiveness (Q453513) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- Verification of Hybrid Systems (Q3176388) (← links)
- A Survey on Analog Models of Computation (Q5024572) (← links)
