Quality criteria for realtime microkernel products.

Toshikazu Ohkubo, I. Takenaka, Tetsuo Wasano, M. Omiya

Browse the full RTCSA paper archive.