direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving
Citation key Jass2017
Author Lydia Jaß and Paula Herber
Title of Book System Level Design from HW/SW to Memory for Embedded Systems
Year 2017
Publisher Springer
Series IFIP Advances in Information and Communication Technology
Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe