direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Formal Verification of SystemC Designs using the BLAST Software Model Checker
Citation key Herber2014b
Author Paula Herber and Bettina Hünnemeyer
Title of Book International Workshop on Model-Based Architecting and Construction of Embedded Systems (ACES-MB@MODELS)
Pages 44-53
Year 2014
ISSN 1613-0073
Journal CEUR
Volume 1250
Publisher CEUR
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe