Погудін, О. О.2021-04-042021-04-042020Погудін О. О. Методи аналізу коректності графових моделей керуючих автоматів : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123–Комп’ютерна інженерія / О. О. Погудін ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2020. – 93 с.https://openarchive.nure.ua/handle/document/15286Мета дослідження: розробка методу аналізу помилок в умовах переходів станів у графових моделях керуючих автоматів, заснованого на властивості ортогональності функції умов переходів зі стану, який аналізується.ukкеруючий автоматграф переходівортогоналізація умов переходівhdl-модельавтоматизований синтезOther