direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata
Zitatschlüssel Herber2011a
Autor Paula Herber
Seiten 101-110
Jahr 2011
ISBN 978-3-88579-415-8
Journal Ausgezeichnete Informatikdissertationen
Serie Lecture Notes in Informatics (LNI)
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe