"Tiptoe: A Compositional Real-Time Operating System"
Prof. Christoph Kirsch, Dept. of Computer Sciences, University of Salzburg
Donald Bren Hall (DBH) 3011, University of California, Irvine
March 06, 2008
Abstract