Verification of time partitioning in the DEOS scheduler kernel

John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger. Verification of time partitioning in the DEOS scheduler kernel. In ICSE. pages 488-497, 2000. [doi]

Authors

John Penix

This author has not been identified. Look up 'John Penix' in Google

Willem Visser

This author has not been identified. Look up 'Willem Visser' in Google

Eric Engstrom

This author has not been identified. Look up 'Eric Engstrom' in Google

Aaron Larson

This author has not been identified. Look up 'Aaron Larson' in Google

Nicholas Weininger

This author has not been identified. Look up 'Nicholas Weininger' in Google