Jump to Content

Verifying Time Partitioning in the DEOS Scheduling Kernel

Willem Visser
Seungjoon Park
Corina S. Pasareanu
Eric Engstrom
Aaron Larson
Nicholas Weininger
Formal Methods in System Design, vol. 26 (2005), pp. 103-135

Abstract

Research Areas