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

Название публикацииПОЛУФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ ЦИФРОВОГО УСТРОЙСТВА С КОНВЕЙЕРОМ, ОСНОВАННАЯ НА ИСПОЛЬЗОВАНИИ АЛГОРИТМИЧЕСКИХ МАШИН СОСТОЯНИЯ / SEMIFORMAL VERIFICATION FOR PIPELINED DIGITAL DESIGNS BASED ON ALGORITHMIC STATEMACHINES
Название на другом языке
Тип публикацииСтатья
ИзданиеИнформатика и ее применения
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2010
Том4
Номер4
ГлаваНе задан
Страницы48-59
АннотацияНе задан
АвторыФренкель Сергей Лазаревич
Захаров Виктор Николаевич
Баранов С.И.
ссылка в Internet
РИНЦ1
WoS0
Цитируемые
публикации авторов
ИПИ РАН