direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

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

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe