direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Model Checking Memory-Related Properties of Hardware/Software Co-designs
Zitatschlüssel Pockrandt13
Autor Marcel Pockrandt and Paula Herber and Verena Klös and Sabine Glesner
Buchtitel International Embedded Systems Symposium (IESS 2013)
Seiten 92-103
Jahr 2013
Verlag Springer
Serie IFIP AICT 403
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe