Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen

Gladigau J, Blendinger F, Haubelt C, Teich J (2008)


Publication Type: Conference contribution

Publication year: 2008

Pages Range: 109-118

Event location: Freiburg DE

Authors with CRIS profile

Related research project(s)

How to cite

APA:

Gladigau, J., Blendinger, F., Haubelt, C., & Teich, J. (2008). Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. In Proceedings of the 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 109-118). Freiburg, DE.

MLA:

Gladigau, Jens, et al. "Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen." Proceedings of the 11. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Freiburg 2008. 109-118.

BibTeX: Download