Auflistung nach Autor "Wittiger, Martin"
Anzeige der Dokumente 1-4 von 4
-
Ergebnisbewertung konservativer statischer Data-Race-Analysen
Degiorgi, Sandro; Wittiger, Martin
43-44 -
Extraktion von Interthread-Kommunikation in eingebetteten Systemen
Wittiger, Martin; Keul, Steffen
55-67 -
Migrating Bauhaus from IML to SKilL
Felden, Timm; Wittiger, Martin
-
Recognition of Real-World State-Based Synchronization
Wittiger, Martin; Felden, Timm