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