Formal Reliability Analysis Using Theorem Proving
From MaRDI portal
Publication:5280761
DOI10.1109/TC.2009.165zbMath1366.94784MaRDI QIDQ5280761
Osman Hasan, Sofiène Tahar, Naeem Abbasi
Publication date: 27 July 2017
Published in: IEEE Transactions on Computers (Search for Journal in Brave)
94C12: Fault detection; testing in circuits and networks
68M15: Reliability, testing and fault tolerance of networks and computer systems