Konformität von Protokollen zur Vermeidung der Prioritätsumkehr (Universität Koblenz) - Forschungsprojekte

Generierung von Testszenarien für die Überprüfung der Konformität von Protokollen zur Vermeidung der Prioritätsumkehr
Zöbel, Dieter; (1998 - 2003)