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

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