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.29];(2). Available from: https://ric.zp.edu.ua/article/view/143183