Verification of time partitioning in the DEOS scheduler kernel.

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger

Browse the full ICSE paper archive.