Felser, Meik ; Golm, Michael ; Wawersich, Christian ; Kleinöder, Jürgen :
Execution Time Limitation of Interrupt Handlers in a Java Operating System.
In: ACM : Tenth ACM SIGOPS European Workshop
(Tenth ACM SIGOPS European Workshop Saint-Emilion, France  22-25 Sept. 2002).
2002, S.  190 - 193.
Stichwörter:  JX, verifier, driver