TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation


Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC
Citation key Liebrenz2016
Author Timm Liebrenz and Verena Klös and Paula Herber
Pages 9–17
Year 2016
DOI 10.1145/3092893.3092895
Journal ACM SIGAda Ada Letters
Volume 36
Number 2
Month December
Note Proceedings of the 2016 ACM SIGAda High Integrity Language Workshop (HILT 2016)
Publisher ACM
Link to original publication Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe