direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving
Zitatschlüssel Jass2017
Autor Lydia Jaß and Paula Herber
Buchtitel System Level Design from HW/SW to Memory for Embedded Systems
Jahr 2017
Verlag Springer
Serie IFIP Advances in Information and Communication Technology
Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe