Wolfgang A. Halang. Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme. In Peter Holleczek, Birgit Vogel-Heuser, editors, Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen - PEARL 2002, Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, Boppard, 28./29. November 2002. Informatik Aktuell, pages 129-138, Springer, 2002. [doi]
Abstract is missing.