Using HOL4 for the Reliability Verification of Parity Checking Circuit

Deniz E., Aksoy K., Tahar S., ZEREN Y.

2nd Intertanional Conference on Mathematical advances and Applications (ICOMAA2019), 3 - 05 May 2019, (Summary Text)

• Publication Type: Conference Paper / Summary Text
• Yıldız Technical University Affiliated: Yes