A Programmable Microkernel for Real-Time Systems [report]

Christoph M. Kirsch, Thomas A. Henzinger, Marco A. Sanvido
2003 unpublished
doi:10.21236/ada603329 fatcat:fyd622ilxnbhnpulbb4exku6ve