(КПІ ім. Ігоря Сікорського, 2019-12) Зозуля, Володимир Сергійович; Редько, Ігор Володимирович
Розглянуто формалізацію процесу створення та аналізу технічного завдання для подальшого проектування цифрових автоматів за допомогою автоматного відображення. Запропоновано структурно-функціональне рішення для системи автоматизованого проектування цифрових пристроїв.