direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Formal Verification of SystemC Designs using the BLAST Software Model Checker
Zitatschlüssel Herber2014b
Autor Paula Herber and Bettina Hünnemeyer
Buchtitel International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB@MODELS)
Seiten 44-53
Jahr 2014
ISSN 1613-0073
Journal CEUR
Jahrgang 1250
Verlag CEUR
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe