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

   Статья

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

УДК

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

Авторы МГТУ

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

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

с. 31-34

   Журнал

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

подробнее