Публикация №2288

Название публикацииАВТОМАТИЗАЦИЯ ФОРМИРОВАНИЯ ТЕСТОВ ДЛЯ ФУНКЦИОНАЛЬНОЙ ВЕРИФИКАЦИИ VHDL-МОДЕЛЕЙ ЦИФРОВЫХ УСТРОЙСТВ
Название на другом языке
Тип публикацииТезисы
ИзданиеМатериалы XV международной научно-технической конференции «Информационные системы и технологии (ИСТ-2009)»
ИздательНижний Новгород: НГТУ
ISBNНе задан
DOIНе задан
Год издания2009
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы13–15
АннотацияНе задан
Авторы(ИПИ РАН) Прокофьев Александр Александрович
Мосин С.Г.
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН