Login / Signup

Enhancing Transition Fault Model for Delay Defect Diagnosis.

Wu-Tung ChengBrady BenwareRuifeng GuoKun-Han TsaiTakeo KobayashiKazuyuki MaruoMichinobu NakaoYoshiaki FukuiHideyuki Otake
Published in: ATS (2008)
Keyphrases
  • fault model
  • safety analysis
  • model based diagnosis
  • fault injection
  • fault models
  • defect detection
  • np hard
  • error correction
  • formal methods