direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Automated Conformance Evaluation of SystemC Designs using Timed Automata
Zitatschlüssel Herber2010c
Autor Paula Herber and Marcel Pockrandt and Sabine Glesner
Buchtitel IEEE European Test Symposium
Seiten 188 - 193
Jahr 2010
ISBN 978-1-4244-5833-2
DOI 10.1109/ETSYM.2010.5512761
Verlag IEEE Computer Society
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe