Pages that link to "Item:Q1395684"
From MaRDI portal
The following pages link to A Ravenscar-compliant run-time kernel for safety-critical systems (Q1395684):
Displaying 4 items.
- Using formal reasoning on a model of tasks for FreeRTOS (Q903515) (← links)
- On the dynamic semantics and the timing behavior of Ravenscar kernels (Q1780180) (← links)
- Cost enforcement in the real-time specification for Java (Q2460195) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)