Automatic generation of a verification platform for heterogeneous system designs

Suad Kajtazovic, Christian Steger, A. Schuhai, Markus Pistauer

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Forum on Specification & Design Languages
Publisher	.
Publication status	Submitted - 2005
Event	Forum on Specification & Design Languages - Lausanne, Switzerland Duration: 27 Sept 2005 → 29 Sept 2005

Conference	Forum on Specification & Design Languages
Country/Territory	Switzerland
City	Lausanne
Period	27/09/05 → 29/09/05

Hardware/Software-Codesign
Steger, C., Seifert, C., Stelzer, P., Fiala, G. & Basic, F.
1/01/95 → …
Project: Research area

Cite this

@inproceedings{e77cffda04404f54b6933fa06ad781f1,

title = "Automatic generation of a verification platform for heterogeneous system designs",

author = "Suad Kajtazovic and Christian Steger and A. Schuhai and Markus Pistauer",

note = ", Seite von - bis: -; Forum on Specification & Design Languages ; Conference date: 27-09-2005 Through 29-09-2005",

year = "2005",

language = "English",

booktitle = "Forum on Specification & Design Languages",

publisher = ".",

}

TY - GEN

T1 - Automatic generation of a verification platform for heterogeneous system designs

AU - Kajtazovic, Suad

AU - Steger, Christian

AU - Schuhai, A.

AU - Pistauer, Markus

N1 - , Seite von - bis: -

PY - 2005

Y1 - 2005

M3 - Conference paper

BT - Forum on Specification & Design Languages

PB - .

T2 - Forum on Specification & Design Languages

Y2 - 27 September 2005 through 29 September 2005

ER -