TU Berlin

Software and Embedded Systems EngineeringPublikationen

SESE-Logo in blau

Inhalt des Dokuments

zur Navigation

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

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe