direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Automated HW/SW Co-Verification of SystemC Designs using Timed Automata
Citation key Herber2010b
Author Paula Herber
Title of Book EDAA / ACM PhDForum at Design, Automation and Test in Europe (DATE)
Year 2010
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe