direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Model Checking a SystemC/TLM Design of the AMBA AHB Protocol
Citation key Pockrandt2011b
Author Marcel Pockrandt and Paula Herber and Sabine Glesner
Title of Book IEEE/ACM Symposium on Embedded Systems for Real-time Multimedia
Pages 66-75
Year 2011
ISBN 978-1-4577-2123-6
Publisher IEEE Computer Society
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe