Scheduling refinement in abstract RTOS models

Fabiano Hessel, Vitor M. da Rosa, Carlos Eduardo Reif, César A. M. Marcon, Tatiana Gadelha Serra dos Santos. Scheduling refinement in abstract RTOS models. ACM Trans. Embedded Comput. Syst., 5(2):342-354, 2006. [doi]

Abstract

Abstract is missing.