Verification of time partitioning in the DEOS scheduler kernel

Willem Visser
Eric Engstrom
Aaron Larson
Nicholas Weininger
ICSE(2000), pp. 488-497

Abstract

Research Areas