swMATH13767WikidataQ1186761 ScholiaQ1186761MaRDI QIDQ25679FDOQ25679
Author name not available (Why is that?)
Official website: http://www.freertos.org/
Cited In (10)
- ChibiOS
- McPatom
- Verifying pointer safety for programs with unknown calls
- Static analysis for detecting high-level races in RTOS kernels
- Saber on ESP32
- ArduPilot
- RacerX
- Proof of OS scheduling behavior in the presence of interrupt-induced concurrency
- RELAY
- Using formal reasoning on a model of tasks for FreeRTOS
This page was built for software: FreeRTOS
