Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету

импликация логическая

Документи:

Беспалов, В. А. Метод обфускации цифровых схем, основанный на использовании логических импликаций [Текст] / В. А. Беспалов, А. Л. Глебов, А. Н. Кононов // Известия высших учебных заведений. Электроника. – 2011. – № 2. – С. 81-86.
Гаврилов, С. В. Анализ помехоустойчивости цифровых схем на основе логических импликаций [Текст] / С. В. Гаврилов, А. Л. Глебов, А. Л. Стемпковский // Изв.ВУЗов.Электроника. – 2002. – № 5. – 60-67.
Подловченко, Р. И. Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ [Текст] / Р. И. Подловченко // Кибернетика и системный анализ. – 2009. – Т. 45, № 5. – С. 25-37.
Соловьев, Р. А. Обнаружение ложных путей в цифровых системах на основе логических импликаций [Текст] / Р. А. Соловьев, А. Л. Глебов, С. В. Гаврилов // Изв.ВУЗов.Электроника. – 2007. – № 2. – 78-84.