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

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