Auflistung nach Autor:in "Sieweck, Philipp"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragFormal software verification for the migration of embedded code from single- to multicore systems(Software Engineering 2014, 2014) Ehlers, Thorsten; Nowotka, Dirk; Sieweck, Philipp; Traub, Johannes