Model Checker-Based Delay Fault Testing of Sequential Circuits

TAKAN S., AYAV T.

ARCS 2015 - The 28th International Conference on Architecture of Computing Systems. Proceedings, Porto, Portugal, 24 - 27 March 2015, pp.1-7, Porto, Portekiz, 25 - 28 Mart 2015

  • Yayın Türü: Bildiri / Tam Metin Bildiri
  • Basıldığı Şehir: Porto
  • Basıldığı Ülke: Portekiz
  • Ankara Üniversitesi Adresli: Hayır