Verifying Time Partitioning (0)

by John Penix, Willem Visser, Seungjoon Park, Corina S Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
Venue:in the DEOS Scheduling Kernel. Formal Methods in System Design