direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Model Checking Memory-Related Properties of Hardware/Software Co-designs
Citation key Pockrandt13
Author Marcel Pockrandt and Paula Herber and Verena Klös and Sabine Glesner
Title of Book International Embedded Systems Symposium (IESS 2013)
Pages 92-103
Year 2013
Publisher Springer
Series IFIP AICT 403
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions