Combining Simulation and Formal Methods for System-Level Performance Analysis

Metadata only

Author

Date

2006

Type

Conference Paper

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

Book title

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

Pages / Article No.

236 - 241

Publisher

IEEE

Event

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

Organisational unit

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

More

ETH Bibliography

yes

Altmetrics

Research Collection