![](/img/cover-not-exists.png)
[IEEE 2008 17th Asian Test Symposium (ATS) - Hokkaido, Japan (2008.11.24-2008.11.27)] 2008 17th Asian Test Symposium - Untestable Fault Identification in Sequential Circuits Using Model-Checking
Raik, Jaan, Fujiwara, Hideo, Ubar, Raimund, Krivenko, AnnaYear:
2008
Language:
english
DOI:
10.1109/ats.2008.22
File:
PDF, 294 KB
english, 2008