Verifying Time Partitioning in the DEOS Scheduling Kernel - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger. Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design, 26(2):103-135, 2005. [doi]

This author has not been identified. Look up 'John Penix' in GoogleThis author has not been identified. Look up 'Willem Visser' in GoogleThis author has not been identified. Look up 'Seungjoon Park' in GoogleThis author has not been identified. Look up 'Corina S. Pasareanu' in GoogleThis author has not been identified. Look up 'Eric Engstrom' in GoogleThis author has not been identified. Look up 'Aaron Larson' in GoogleThis author has not been identified. Look up 'Nicholas Weininger' in Google

runs on WebDSL