Automatic generation of a verification platform for heterogeneous system designs

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

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

Original languageEnglish
Title of host publicationForum on Specification & Design Languages
Publisher.
Publication statusSubmitted - 2005
EventForum on Specification & Design Languages - Lausanne, Switzerland
Duration: 27 Sep 200529 Sep 2005

Conference

ConferenceForum on Specification & Design Languages
CountrySwitzerland
CityLausanne
Period27/09/0529/09/05

Cite this

Kajtazovic, S., Steger, C., Schuhai, A., & Pistauer, M. (2005). Automatic generation of a verification platform for heterogeneous system designs. Manuscript submitted for publication. In Forum on Specification & Design Languages ..