Mіrosсhnyk MA, Pakhomov YV, Shkil AS, Kulak EN, Kucherenko DY. DESIGN AUTOMATION OF EASY-TESTED DIGITAL FINITE STATE MACHINES. RIC [Internet]. 2018Oct.4 [cited 2024Nov.25];(2). Available from: http://ric.zntu.edu.ua/article/view/143183