Подробное описание документа

Статья

Рудаков И. В., Ребриков А. В.
Неполная верификация сложных дискретных систем / Рудаков И. В., Ребриков А. В. // Информационные технологии. - 2011. - № 3. - С. 31-34.

УДК
519.876.5 Цифровое имитирование и моделирование систем

Авторы МГТУ

Рудаков Игорь Владимирович

Статья опубликована в следующих изданиях

с. 31-34

Журнал

Информационные технологии.
№ 3. - 2011.

подробнее