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

Thesis
(Dissertation)


Publication Details

Author(s): Gladigau J
Publication year: 2013


FAU Authors / FAU Editors

Gladigau, Jens Dr.-Ing.
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: 

Last updated on 2018-19-04 at 03:27