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

Название публикацииЗАДАЧА ВЕРИФИКАЦИИ ВЫПОЛНЕНИЯ QOS ТРЕБОВАНИЙ С УЧЕТОМ СЛУЧАЙНОГО ПОВЕДЕНИЯ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ
Название на другом языке
Тип публикацииДоклад
ИзданиеИнструменты и методы анализа программ TMPA-2015: Сборник докладов III Международной научно-практической конференции
ИздательНе задан
ISBN978-57422-5159-0
DOIНе задан
Год издания2015
ТомНе задан
НомерНе задан
ГлаваНе задан
Страницы150-160
АннотацияНе задан
АвторыФренкель Сергей Лазаревич
Захаров Виктор Николаевич
ссылка в Internethttp://tmpaconf.org/thesesru#сборник-tmpa-2015
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН