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