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

Название публикацииCONCURRENT DESIGN AND VERIFICATION OF DIGITAL HARDWARE / О ВЕРИФИКАЦИИ НА ЭТАПЕ СИНТЕЗА ЦИФРОВЫХ СИСТЕМ
Название на другом языке
Тип публикацииСтатья
ИзданиеИнформатика и ее применения
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2008
Том2
Номер3
ГлаваНе задан
Страницы7-25
АннотацияНе задан
АвторыФренкель Сергей Лазаревич
Захаров Виктор Николаевич
Баранов С.И.
Синельников В.Е.
ссылка в Internethttp://elibrary.ru/item.asp?id=12855457
РИНЦ1
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(2003) VERIFICATION MODEL STRUCTURES FOR DIGITAL SYSTEMS DESIGN