A virtualized separation kernel for mixed criticality systems.

Ye Li, Richard West, Eric S. Missimer

Browse the full VEE paper archive.