direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata
Citation key Herber2011a
Author Paula Herber
Pages 101-110
Year 2011
ISBN 978-3-88579-415-8
Journal Ausgezeichnete Informatikdissertationen
Series Lecture Notes in Informatics (LNI)
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe