TU Berlin

Software and Embedded Systems EngineeringPublikationen

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

Publikationen

Automatic Analysis and Abstraction for Model Checking HW/SW Co-Designs modeled in SystemC
Zitatschlüssel Liebrenz2016
Autor Timm Liebrenz and Verena Klös and Paula Herber
Seiten 9–17
Jahr 2016
DOI 10.1145/3092893.3092895
Journal ACM SIGAda Ada Letters
Jahrgang 36
Nummer 2
Monat December
Notiz Proceedings of the 2016 ACM SIGAda High Integrity Language Workshop (HILT 2016)
Verlag ACM
Link zur Originalpublikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe