Comparison of Techniques for the Automatic Verification of ADeVA Specifications

Conference contribution


Publication Details

Author(s): Dinkel T, Haubelt C, Heinkel U, Schlichter T, Knäblein J, Schock T, Teich J
Publication year: 2005
Conference Proceedings Title: Proc. Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005)


FAU Authors / FAU Editors

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


External institutions with authors

Alcatel-Lucent Deutschland AG


How to cite

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: 

Last updated on 2018-10-08 at 06:10