 | Monter d'un niveau |
Bechir, A., & Kamińska, B. (avril 1995). BDD FTEST: fast, backtrack-free test generator based on binary decision diagram representation [Communication écrite]. IEEE International Symposium on Circuits and Systems (ISCAS 1995), Seattle, WA, USA. Lien externe
