Automatic generation of a verification platform for heterogeneous system designs

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Forum on Specification & Design Languages
Herausgeber (Verlag)	.
Publikationsstatus	Eingereicht - 2005
Veranstaltung	Forum on Specification & Design Languages - Lausanne, Schweiz Dauer: 27 Sept. 2005 → 29 Sept. 2005

Konferenz	Forum on Specification & Design Languages
Land/Gebiet	Schweiz
Ort	Lausanne
Zeitraum	27/09/05 → 29/09/05

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

Dieses zitieren

@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 -