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

Название публикацииМЕТОД ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ РЕШЕНИЯ ЗАДАЧ ВЕРОЯТНОСТНОЙ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ И ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ / A METHOD OF ENHANCING PROBABILISTIC VERIFICATION EFFICIENCY FOR COMPUTER AND TELECOMMUNICATION SYSTEMS
Название на другом языке
Тип публикацииСтатья
ИзданиеИнформатика и ее применения
ИздательНе задан
ISBN1992-2264
DOI10.14357/19922264140408
Год издания2014
Том8
Номер4
ГлаваНе задан
Страницы58–69
АннотацияНе задан
АвторыМиронов Андрей Михайлович
Френкель Сергей Лазаревич
ссылка в Internet
РИНЦ0
WoS0
Цитируемые
публикации авторов
ИПИ РАН

(2014) МИНИМИЗАЦИЯ ВЕРОЯТНОСТНЫХ МОДЕЛЕЙ ПРОГРАММ