System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems

Suad Kajtazovic, Christian Steger, Markus Pistauer

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationProceedings / 18. Symposium Simulationstechnique, ASIM 2005
Place of PublicationErlangen
PublisherSCS Publ. House
Pages618-623
Volume15
ISBN (Print)3-936150-41-9
Publication statusPublished - 2005
EventSymposium Simulationstechnik - Erlangen, Germany
Duration: 12 Sep 200515 Sep 2005

Publication series

NameFrontiers in simulation
PublisherSCS Publ. House

Conference

ConferenceSymposium Simulationstechnik
CountryGermany
CityErlangen
Period12/09/0515/09/05

Cite this

Kajtazovic, S., Steger, C., & Pistauer, M. (2005). System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems. In Proceedings / 18. Symposium Simulationstechnique, ASIM 2005 (Vol. 15, pp. 618-623). (Frontiers in simulation). Erlangen: SCS Publ. House.

System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems. / Kajtazovic, Suad; Steger, Christian; Pistauer, Markus.

Proceedings / 18. Symposium Simulationstechnique, ASIM 2005. Vol. 15 Erlangen : SCS Publ. House, 2005. p. 618-623 (Frontiers in simulation).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Kajtazovic, S, Steger, C & Pistauer, M 2005, System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems. in Proceedings / 18. Symposium Simulationstechnique, ASIM 2005. vol. 15, Frontiers in simulation, SCS Publ. House, Erlangen, pp. 618-623, Symposium Simulationstechnik, Erlangen, Germany, 12/09/05.
Kajtazovic S, Steger C, Pistauer M. System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems. In Proceedings / 18. Symposium Simulationstechnique, ASIM 2005. Vol. 15. Erlangen: SCS Publ. House. 2005. p. 618-623. (Frontiers in simulation).
Kajtazovic, Suad ; Steger, Christian ; Pistauer, Markus. / System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems. Proceedings / 18. Symposium Simulationstechnique, ASIM 2005. Vol. 15 Erlangen : SCS Publ. House, 2005. pp. 618-623 (Frontiers in simulation).
@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",

}

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 contribution

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

ER -