Mіrosсhnyk M. A.; PAKHOMOV, Y. V.; SHKIL, A. S.; KULAK, E. N.; KUCHERENKO, D. Y. DESIGN AUTOMATION OF EASY-TESTED DIGITAL FINITE STATE MACHINES. Radio Electronics, Computer Science, Control, [S. l.], n. 2, 2018. DOI: 10.15588/1607-3274-2018-2-13. Disponível em: http://ric.zntu.edu.ua/article/view/143183. Acesso em: 4 may. 2024.