Auflistung nach Autor "Traub, Johannes"
Anzeige der Dokumente 1-2 von 2
-
Formal software verification for the migration of embedded code from single- to multicore systems
Ehlers, Thorsten; Nowotka, Dirk; Sieweck, Philipp; Traub, Johannes
137-142 -
MEMICS - memory interval constraint solving of (concurrent) machine code
Nowotka, Dirk; Traub, Johannes
69-83