Публикация №3675(БАЛЛЫ 5)

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

(2003) VERIFICATION MODEL STRUCTURES FOR DIGITAL SYSTEMS DESIGN