Electronic Documents Search

Documents found: 1

Creators	Иванников Виктор Петрович; Камкин Александр Сергеевич; Чупилко Михаил Михайлович
Collection	Общая коллекция
Subjects	динамическая верификация; HDL-модели; модульная верификация; сопоставление трасс; частично-упорядоченные мультимножества
UDC	004.415.53(045)
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.5 Mb