Real-Time Systems

速いだけでは不十分？：「時間に間に合う」を数理的に保証するリアルタイムOS（RTOS）とスケジューリング理論の深淵