| П21 |
Пахомов, Ю. В.
Моделі та методи тестопридатного проектування критичних систем логічного управління на основі кінцевих автоматів [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : спец. 05.13.05 - комп'ютерні системи та компоненти / Пахомов Юрій Васильович. – Х. : ХНУР, 2019. – 24 с.
В авторефераті дисертаційній роботі запропоновано розширення вхідного алфавіту кінцевого автомата шляхом введення додаткового стовпця в таблицю переходів-виходів автомата та додаткового входу в схемну реалізацію керуючого автомата.
|
