System Co-Verification of Concurrent Designed Heterogeneous Sub-Systems

Suad Kajtazovic, Christian Steger, Markus Pistauer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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