Публікація: Методи аналізу коректності графових моделей керуючих автоматів
Завантаження...
Дата
2020
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
Мета дослідження: розробка методу аналізу помилок в умовах
переходів станів у графових моделях керуючих автоматів, заснованого на
властивості ортогональності функції умов переходів зі стану, який
аналізується.
Опис
Ключові слова
керуючий автомат, граф переходів, ортогоналізація умов переходів, hdl-модель, автоматизований синтез
Бібліографічний опис
Погудін О. О. Методи аналізу коректності графових моделей керуючих автоматів : пояснювальна записка до атестаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123–Комп’ютерна інженерія / О. О. Погудін ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2020. – 93 с.