The following pages link to Scheduling with timed automata (Q2368955):
Displayed 4 items.
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Models and formal verification of multiprocessor system-on-chips (Q953526) (← links)
- Survey on Directed Model Checking (Q3614878) (← links)
- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata (Q3648825) (← links)