Automatische Verification von ADeVA-Spezifikationen

Beitrag bei einer Tagung


Details zur Publikation

Autorinnen und Autoren: Dinkel T, Haubelt C, Heinkel U, Schlichter T, Teich J
Jahr der Veröffentlichung: 2005
Tagungsband: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen


FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

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:
Dinkel, T., Haubelt, C., Heinkel, U., Schlichter, T., & Teich, J. (2005). Automatische Verification von ADeVA-Spezifikationen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Munich, DE.

MLA:
Dinkel, Thomas, et al. "Automatische Verification von ADeVA-Spezifikationen." Proceedings of the GI/ITG/GMM-Workshop 2005, Munich 2005.

BibTeX: 

Zuletzt aktualisiert 2018-10-08 um 06:13