Login / Signup
Efficient High-Speed Interface Verification and Fault Analysis.
Thomas Nirmaier
Jose Torres Zaguirre
Eric Liau
Wolfgang Spirkl
Armin Rettenberger
Doris Schmitt-Landsiedel
Published in:
ITC (2008)
Keyphrases
</>
high speed
statistical analysis
quantitative analysis
data sets
real time
real world
data analysis
computationally efficient
fault diagnosis
model checking
computationally expensive
formal analysis
qualitative analysis