SPIRIT-μKernel for strongly partitioned real-time systems.

Daeyoung Kim, Yann-Hang Lee, Mohamed F. Younis

Browse the full RTCSA paper archive.