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 Herber2012
Autor Paula Herber
Seiten 296 - 300
Jahr 2012
ISSN 1611-2776
Journal it - Information Technology
Jahrgang 2012
Nummer 6
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe