Combining Simulation and Formal Methods for System-Level Performance Analysis
METADATA ONLY
Loading...
Author / Producer
Date
2006
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
METADATA ONLY
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Design, automation and test in Europe, 2006, DATE '06 : 6 - 10 March 2006, Munich, Germany ; proceedings
Journal / series
Volume
Pages / Article No.
236 - 241
Publisher
IEEE
Event
Design, automation and test in Europe (DATE 2006)
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Organisational unit
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)