FreeRTOS
From MaRDI portal
Software:25679
swMATH13767WikidataQ1186761MaRDI QIDQ25679
No author found.
Related Items (5)
Static analysis for detecting high-level races in RTOS kernels ⋮ Verifying pointer safety for programs with unknown calls ⋮ Using formal reasoning on a model of tasks for FreeRTOS ⋮ Saber on ESP32 ⋮ Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency
This page was built for software: FreeRTOS
