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

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Gladigau J, Blendinger F, Haubelt C, Teich J
Jahr der Veröffentlichung: 2008
Seitenbereich: 109-118


FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Gladigau, Jens Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Zitierweisen

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: 

Zuletzt aktualisiert 2019-23-07 um 07:26