Comparison of Techniques for the Automatic Verification of ADeVA Specifications

Dinkel T, Haubelt C, Heinkel U, Schlichter T, Knäblein J, Schock T, Teich J (2005)

Publication Type: Conference contribution

Publication year: 2005

Conference Proceedings Title: Proc. Dresdener Arbeitstagung Schaltungs- und Systementwurf (DASS 2005)

Event location: Dresden DE

Authors with CRIS profile

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

Related research project(s)

SpecVer: Specification for Verification of complex systems (SpecVer) Oct. 1, 2005 - Sept. 30, 2008

Involved external institutions

Alcatel-Lucent Deutschland AG DE Germany (DE)

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: Download