"Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory ..."

Osman Hasan, Naeem Abbasi, Sofiène Tahar (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics