direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Automated HW/SW Co-Verification of SystemC Designs using Timed Automata
Zitatschlüssel Herber2010b
Autor Paula Herber
Buchtitel EDAA / ACM PhDForum at Design, Automation and Test in Europe (DATE)
Jahr 2010
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe