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

Institute of Technical Informatics (4480)

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

Original language	English
Title of host publication	Proceedings / 18. Symposium Simulationstechnique, ASIM 2005
Place of Publication	Erlangen
Publisher	SCS Publ. House
Pages	618-623
Volume	15
ISBN (Print)	3-936150-41-9
Publication status	Published - 2005
Event	Symposium Simulationstechnik - Erlangen, Germany Duration: 12 Sep 2005 → 15 Sep 2005

Publication series

Name	Frontiers in simulation
Publisher	SCS Publ. House

Conference

Conference	Symposium Simulationstechnik
Country/Territory	Germany
City	Erlangen
Period	12/09/05 → 15/09/05

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

Cite this

@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

Publication series

Conference

Projects

Hardware/Software-Codesign

Cite this