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

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

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