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

Название публикацииВЕРОЯТНОСТНАЯ ВЕРИФИКАЦИЯ ПРИ ПРОЕКТИРОВАНИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
Название на другом языке
Тип публикацииДоклад
ИзданиеИнструменты и методы анализа программ (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
Цитируемые
публикации авторов
ИПИ РАН