(Луцьк: ЛНТУ, 2023) Кардашук, Володимир Сергійович; Бортник, Катерина Яківна; Багнюк, Наталія Володимирівна
Розглянуті
дослідження в напрямку технології Design & Test, дедуктивно-паралельне моделювання несправності цифрових систем,
проведена класифікація існуючих рішень вдосконалення тестування цифрових систем, запропонована узагальнена модель
дедуктивно-паралельного аналізу цифрових систем, представлена внутрішня модель та структура даних для аналізу
цифрового пристрою, запропонований дедуктивний аналіз дефектів, розглянутий синтез дедуктивної функції за
допомогою таблиці істинності.
