Logo des Repositoriums
 

Formal software verification for the migration of embedded code from single- to multicore systems

dc.contributor.authorEhlers, Thorsten
dc.contributor.authorNowotka, Dirk
dc.contributor.authorSieweck, Philipp
dc.contributor.authorTraub, Johannes
dc.contributor.editorHasselbring, Wilhelm
dc.contributor.editorEhmke, Nils Christian
dc.date.accessioned2020-01-07T13:36:13Z
dc.date.available2020-01-07T13:36:13Z
dc.date.issued2014
dc.identifier.isbn978-388579-621-3
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30989
dc.language.isoen
dc.publisherGesellschaft für Informatik
dc.relation.ispartofSoftware Engineering 2014
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-227
dc.titleFormal software verification for the migration of embedded code from single- to multicore systemsen
dc.typeText/Conference Paper
gi.citation.endPage142
gi.citation.publisherPlaceBonn
gi.citation.startPage137
gi.conference.date25. Februar-28. Februar 2014
gi.conference.locationKiel
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
137.pdf
Größe:
3.48 MB
Format:
Adobe Portable Document Format