Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress.

Youngho Choi, Jaeook Kwon, Seokjae Jeong, Hansub Park, Young Ik Eom

Browse the full EMSOFT paper archive.