Electronic Documents Search
Documents found: 2
-
Creators Иванников Виктор Петрович; Камкин Александр Сергеевич; Чупилко Михаил Михайлович Collection Общая коллекция Subjects динамическая верификация; HDL-модели; модульная верификация; сопоставление трасс; частично-упорядоченные мультимножества UDC 004.415.53(045) Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
Creators Смолов Сергей Александрович; Камкин Александр Сергеевич Organization Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2015 Collection Общая коллекция Subjects Автоматов теория; Кодирование; Автоматические системы цифровые; функциональная верификация; HDL-модели UDC 004.415.5(045); 681.51.011(045) Document type Article, report File type PDF Language Russian DOI 10.5862/JCTCS.212.6 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 279 Kb
