Pages that link to "Item:Q2424721"
From MaRDI portal
The following pages link to Verifying a scheduling protocol of safety-critical systems (Q2424721):
Displaying 8 items.
- Investigating the usability of real-time scheduling theory with the Cheddar project (Q1033676) (← links)
- A Ravenscar-compliant run-time kernel for safety-critical systems (Q1395684) (← links)
- An integrated approach to scheduling in safety-critical embedded control systems (Q1870167) (← links)
- Priority inheritance protocol proved correct (Q2303234) (← links)
- Verification of the legOS scheduler using Uppaal (Q2703732) (← links)
- Verifiable Code Generation from Scheduled Event-B Models (Q5881452) (← links)
- Verifying safety critical task scheduling systems in PPTL axiom system (Q5963639) (← links)
- Checking scheduling-induced violations of control safety properties (Q6103165) (← links)