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

  • Vollständige Referenz
  • BibTeX
Ehlers, T., Nowotka, D., Sieweck, P. & Traub, J., (2014). Formal software verification for the migration of embedded code from single- to multicore systems. In: Hasselbring, W. & Ehmke, N. C. (Hrsg.), Software Engineering 2014. Bonn: Gesellschaft für Informatik. (S. 137-142).
@inproceedings{mci/Ehlers2014,
author = {Ehlers, Thorsten AND Nowotka, Dirk AND Sieweck, Philipp AND Traub, Johannes},
title = {Formal software verification for the migration of embedded code from single- to multicore systems},
booktitle = {Software Engineering 2014},
year = {2014},
editor = {Hasselbring, Wilhelm AND Ehmke, Nils Christian} ,
pages = { 137-142 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
137.pdf3.484Mb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-388579-621-3
ISSN: 1617-5468
Datum: 2014
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige