Combining Simulation and Formal Methods for System-Level Performance Analysis

Metadata only

Autor(in)

Datum

2006

Typ

Conference Paper

ETH Bibliographie

yes

Altmetrics

Publikationsstatus

published

Externe Links

Buchtitel

Design, automation and test in Europe, 2006, DATE '06 : 6 - 10 March 2006, Munich, Germany ; proceedings

Seiten / Artikelnummer

236 - 241

Verlag

IEEE

Konferenz

Design, automation and test in Europe (DATE 2006), Munich, Germany, March 6-10, 2006

Organisationseinheit

03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)

Mehr

ETH Bibliographie

yes

Altmetrics

Research Collection