Combining Simulation and Formal Methods for System-Level Performance Analysis
Metadata only
Datum
2006Typ
- Conference Paper
ETH Bibliographie
yes
Altmetrics
Publikationsstatus
publishedExterne Links
Buchtitel
Design, automation and test in Europe, 2006, DATE '06 : 6 - 10 March 2006, Munich, Germany ; proceedingsSeiten / Artikelnummer
Verlag
IEEEKonferenz
Organisationseinheit
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ETH Bibliographie
yes
Altmetrics