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 Herber2012
Author Paula Herber
Pages 296 - 300
Year 2012
ISSN 1611-2776
Journal it - Information Technology
Volume 2012
Number 6
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe