direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Search
Software Engineering and Theoretical Computer ScienceSoftware and Embedded Systems Engineering
Order by: Author Year Journal
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.
Go to: