User: Guest  Login
Document type:
Konferenzbeitrag
Contribution type:
Textbeitrag / Aufsatz
Author(s):
Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs
Title:
A Simulation Approach for Performance Validation during Embedded Systems Design
Keywords:
BASE.XT
Dewey Decimal Classification:
620 Ingenieurwissenschaften
Book / Congress title:
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Year:
2008
Year / month:
2008-10
Month:
Oct
Language:
en
Publication format:
CD-ROM / DVD
TUM Institution:
Lehrstuhl für Integrierte Systeme
Format:
Text
 BibTeX