Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag
Art des Konferenzbeitrags:
Textbeitrag / Aufsatz
Autor(en):
Zhonglei Wang, Wolfgang Haberl, Andreas Herkersdorf, Martin Wechs
Titel:
A Simulation Approach for Performance Validation during Embedded Systems Design
Stichworte:
BASE.XT
Dewey-Dezimalklassifikation:
620 Ingenieurwissenschaften
Kongress- / Buchtitel:
3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
Jahr:
2008
Jahr / Monat:
2008-10
Monat:
Oct
Sprache:
en
Erscheinungsform:
CD-ROM / DVD
TUM Einrichtung:
Lehrstuhl für Integrierte Systeme
Format:
Text
 BibTeX