Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Abramovici, M., Breuer, M.A., Friedman, A.D.: Digital Systems Testing and Testable Design. Computer Science Press (1990)
2. Baarir, S., Braunstein, C., Clavel, R., Encrenaz, E., Ilie, J.-M., Leveugle, R., Mounier, I., Pierre, L., Poitrenaud, D.: Complementary formal approaches for dependability analysis. In: IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, pp. 331–339 (2009)
3. Lecture Notes in Computer Science;A. Biere,1999
4. Lecture Notes in Computer Science;R. Bloem,2010
5. Lecture Notes in Computer Science;M. Bozzano,2007
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献