System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems

Suad Kajtazovic; Christian Steger; Markus Pistauer

System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems

Suad Kajtazovic, Christian Steger, Markus Pistauer

Institut für Technische Informatik (4480)

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

Originalsprache	englisch
Titel	Proceedings / 18. Symposium Simulationstechnique, ASIM 2005
Erscheinungsort	Erlangen
Herausgeber (Verlag)	SCS Publ. House
Seiten	618-623
Band	15
ISBN (Print)	3-936150-41-9
Publikationsstatus	Veröffentlicht - 2005
Veranstaltung	Symposium Simulationstechnik - Erlangen, Deutschland Dauer: 12 Sept. 2005 → 15 Sept. 2005

Publikationsreihe

Name	Frontiers in simulation
Herausgeber (Verlag)	SCS Publ. House

Konferenz

Konferenz	Symposium Simulationstechnik
Land/Gebiet	Deutschland
Ort	Erlangen
Zeitraum	12/09/05 → 15/09/05

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

Dieses zitieren

System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems. / Kajtazovic, Suad; Steger, Christian; Pistauer, Markus.
Proceedings / 18. Symposium Simulationstechnique, ASIM 2005. Band 15 Erlangen: SCS Publ. House, 2005. S. 618-623 (Frontiers in simulation).

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

@inproceedings{6b1d82a7a75e426f94faa2c4f51c806c,

title = "System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems",

author = "Suad Kajtazovic and Christian Steger and Markus Pistauer",

year = "2005",

language = "English",

isbn = "3-936150-41-9",

volume = "15",

series = "Frontiers in simulation",

publisher = "SCS Publ. House",

pages = "618--623",

booktitle = "Proceedings / 18. Symposium Simulationstechnique, ASIM 2005",

address = "Germany",

note = "Symposium Simulationstechnik ; Conference date: 12-09-2005 Through 15-09-2005",

}

TY - GEN

T1 - System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems

AU - Kajtazovic, Suad

AU - Steger, Christian

AU - Pistauer, Markus

PY - 2005

Y1 - 2005

M3 - Conference paper

SN - 3-936150-41-9

VL - 15

T3 - Frontiers in simulation

SP - 618

EP - 623

BT - Proceedings / 18. Symposium Simulationstechnique, ASIM 2005

PB - SCS Publ. House

CY - Erlangen

T2 - Symposium Simulationstechnik

Y2 - 12 September 2005 through 15 September 2005

ER -

System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems

Publikationsreihe

Konferenz

Projekte

Hardware/Software-Codesign

Dieses zitieren