Model Checker-Based Delay Fault Testing of Sequential Circuits
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, (Tam Metin Bildiri)
- Yayın Türü: Bildiri / Tam Metin Bildiri
- Basıldığı Şehir: Porto
- Basıldığı Ülke: Portekiz
- Ankara Üniversitesi Adresli: Hayır