direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Lydia Jaß, M. Sc.

Publications

2017

Jaß, L. and Herber, P. (2017). Bit-Precise Formal Verification for SystemC using Satisfiability Modulo Theories Solving. System Level Design from HW/SW to Memory for Embedded Systems. Springer.


Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe