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ıs 2019, (Özet Bildiri)

• Yayın Türü: Bildiri / Özet Bildiri
• Yıldız Teknik Üniversitesi Adresli: Evet