Pages that link to "Item:Q1650954"
From MaRDI portal
The following pages link to Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954):
Displaying 4 items.
- Combinatorial abstraction refinement for feasibility analysis of static priorities (Q892994) (← links)
- Static analysis for detecting high-level races in RTOS kernels (Q2147701) (← links)
- Static priority scheduling of event-triggered real-time embedded systems (Q2369888) (← links)
- Static analysis of run-time errors in embedded real-time parallel C programs (Q2881094) (← links)