McPatom

swMATH42811MaRDI QIDQ5972754FDOQ5972754

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-642-31759-0_14

Cited In (6)

• ChibiOS
• Static analysis for detecting high-level races in RTOS kernels
• ArduPilot
• RacerX
• FreeRTOS
• RELAY

This page was built for software: McPatom