direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Model Checking a SystemC/TLM Design of the AMBA AHB Protocol
Zitatschlüssel Pockrandt2011b
Autor Marcel Pockrandt and Paula Herber and Sabine Glesner
Buchtitel IEEE/ACM Symposium on Embedded Systems for Real-time Multimedia
Seiten 66-75
Jahr 2011
ISBN 978-1-4577-2123-6
Verlag IEEE Computer Society
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe