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

Название публикацииМЕТОД ПОНИЖЕНИЯ ВЫЧИСЛИТЕЛЬНОЙ СЛОЖНОСТИ В ЗАДАЧАХ ВЕРИФИКАЦИИ ВЕРОЯТНОСТНЫХ МОДЕЛЕЙ ПРОГРАММ
Название на другом языке
Тип публикацииДоклад
ИзданиеИнструменты и методы анализа программ (TMPA-2014): Материалы международной научно-практической конференции
ИздательКострома: КГТУ
ISBN975-5-8285-0719-1
DOIНе задан
Год издания2014
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы133–144
АннотацияНе задан
Авторы(ФИЦ ИУ РАН) Френкель Сергей Лазаревич
(ФИЦ ИУ РАН) Миронов Андрей Михайлович
ссылка в Internethttp://tmpaconf.org/thesesru/theses2014ru
РИНЦ0
WoS0
Баллы5
Грант %100
Цитируемые
публикации авторов
ФИЦ ИУ РАН