Ayman M. Wahba. Diagnostic des erreurs de conception dans les circuits digitaux : le cas des erreurs simples. (Design error diagnosis in digital circuits: the case of simple errors). PhD thesis, Joseph Fourier University, Grenoble, France, 1997. [doi]
Abstract is missing.