direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Transforming SystemC Transaction Level Models into UPPAAL Timed Automata
Citation key Herber2011b
Author Paula Herber and Marcel Pockrandt and Sabine Glesner
Pages 161-170
Year 2011
ISBN 978-1-4577-0117-7
Journal ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign
Publisher IEEE Computer Society
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe