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

Название публикацииVERIFICATION METHODOLOGY BASED ON ALGORITHMIC STATE MACHINE AND CYCLE-ACCURATE CONTRACT SPECIFICATIONS
Название на другом языке
Тип публикацииДоклад
ИзданиеProceedings of 7th IEEE East-West Design & Test Symposium EWDTS
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2009
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы39-42
АннотацияНе задан
АвторыKamkin A.
Френкель Сергей Лазаревич
ссылка в Internet
РИНЦ1
WoS0
Цитируемые
публикации авторов
ИПИ РАН