Abbasi, Naeem; Hasan, Osman; Tahar, Sofiène An approach for lifetime reliability analysis using theorem proving. (English) Zbl 1277.68216 J. Comput. Syst. Sci. 80, No. 2, 323-345 (2014). MSC: 68Q87 68T15 68Q60 PDFBibTeX XMLCite \textit{N. Abbasi} et al., J. Comput. Syst. Sci. 80, No. 2, 323--345 (2014; Zbl 1277.68216) Full Text: DOI
Hasan, Osman; Abbasi, Naeem; Tahar, Sofiène Formal probabilistic analysis of stuck-at faults in reconfigurable memory arrays. (English) Zbl 1211.68032 Leuschel, Michael (ed.) et al., Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16–19, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00254-0/pbk). Lecture Notes in Computer Science 5423, 277-291 (2009). MSC: 68M15 68Q60 68T15 PDFBibTeX XMLCite \textit{O. Hasan} et al., Lect. Notes Comput. Sci. 5423, 277--291 (2009; Zbl 1211.68032) Full Text: DOI