A programmable microkernel for real-time systems

Open Webpage

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

Published: 2005, Last Modified: 27 Apr 2025VEE 2005EveryoneRevisionsBibTeXCC BY-SA 4.0