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

Название публикацииРАЗВИТИЕ ТЕОРИИ КОНФОРМНОСТИ: СЕМАНТИКИ, ФОРМАЛЬНЫЕ МОДЕЛИ, АЛГОРИТМЫ
Название на другом языке
Тип публикацииСтатья
ИзданиеТруды Института системного программирования РАН
ИздательНе задан
ISBNНе задан
DOIНе задан
Год издания2014
Том26
Номер1
ГлаваНе задан
Страницы27-72
АннотацияНе задан
АвторыБурдонов И.Б.
Косачев А.С.
ссылка в Internet
РИНЦ0
WoS0
Баллы5
Грант %100
Цитируемые
публикации авторов
ФИЦ ИУ РАН

(2009) VERIFICATION METHODOLOGY BASED ON ALGORITHMIC STATE MACHINE AND CYCLE-ACCURATE CONTRACT SPECIFICATIONS