Аналіз коректності графових моделей автоматних систем логічного управління на ПЛІС - Мірошник, М. А.; Клименко, Л. А.; Федорін, Д. Д.; Крилова, Вікторія Анатоліївна; Салфетникова, Ю. М.; Деменкова, С. Д.; Мірошник, А. Н. (Український державний університет залізничного транспорту, 2020)
Keywords: HDL-модель; двохпроцесорний автоматний шаблон; кінцеві автомати; графові моделі