Comparison of Techniques for the Automatic Verification of ADeVA Specifications

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Dinkel T, Haubelt C, Heinkel U, Schlichter T, Knäblein J, Schock T, Teich J
Jahr der Veröffentlichung: 2005
Tagungsband: Proc. Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005)


FAU-Autoren / FAU-Herausgeber

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


Autor(en) der externen Einrichtung(en)
Alcatel-Lucent Deutschland AG


Zitierweisen

APA:
Dinkel, T., Haubelt, C., Heinkel, U., Schlichter, T., Knäblein, J., Schock, T., & Teich, J. (2005). Comparison of Techniques for the Automatic Verification of ADeVA Specifications. In Proc. Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005). Dresden, DE.

MLA:
Dinkel, Thomas, et al. "Comparison of Techniques for the Automatic Verification of ADeVA Specifications." Proceedings of the Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005), Dresden 2005.

BibTeX: 

Zuletzt aktualisiert 2018-10-08 um 06:10

Link teilen