A programmable microkernel for real-time systems.

Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger

Browse the full VEE paper archive.