Материалов:
1 005 012

Репозиториев:
30

Авторов:
761 409

расширенный поиск

Экспериментальное сравнение двух подходов к верификации логических схем на основе проверки выполнимости КНФ

Кидярова, Галина Владимировна

Дата публикации: 2013

Дата публикации в реестре: 2020-03-03T19:09:31Z

Ключевые слова:
верификация, логические схемы, конъюнктивная нормальная форма

Тип: статьи в журналах

Источник: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 196-197

Связанные документы (рекомендация CORE)

Партнеры

КФУ
ТГУ
Elpub
СФУ
Webpublishers

Индексация

BASE
WorldCat
OpenAIRE
EDS
core