Fault Diagnosis using Quantified Boolean Formulas - Archive ouverte HAL Access content directly
Conference Papers Year : 2007
No file

Dates and versions

hal-00466755 , version 1 (24-03-2010)

Identifiers

  • HAL Id : hal-00466755 , version 1

Cite

Hratch Mangassarian, Andreas Veneris, Marco Benedetti. Fault Diagnosis using Quantified Boolean Formulas. Proc. of the 4th IEEE International Workshop on Silicon Debug and Diagnosis - SDD07, 2007, Freiburg, Germany. pp._. ⟨hal-00466755⟩
30 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More