direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Transforming SystemC Transaction Level Models into UPPAAL Timed Automata
Zitatschlüssel Herber2011b
Autor Paula Herber and Marcel Pockrandt and Sabine Glesner
Seiten 161-170
Jahr 2011
ISBN 978-1-4577-0117-7
Journal ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign
Verlag IEEE Computer Society
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe