Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling

Gladigau J (2013)

Publication Type: Thesis

Publication year: 2013

Authors with CRIS profile

Jens Gladigau Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

How to cite

APA:

Gladigau, J. (2013). Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling (Dissertation).

MLA:

Gladigau, Jens. Combining Formal Model-Based System-Level Design with SystemC Transaction Level Modeling. Dissertation, 2013.

BibTeX: Download