Публикация №8581(БАЛЛЫ 5)
| Название публикации | МЕТОД ПОВЫШЕНИЯ ЭФФЕКТИВНОСТИ РЕШЕНИЯ ЗАДАЧ ВЕРОЯТНОСТНОЙ ВЕРИФИКАЦИИ ВЫЧИСЛИТЕЛЬНЫХ И ТЕЛЕКОММУНИКАЦИОННЫХ СИСТЕМ / A METHOD OF ENHANCING PROBABILISTIC VERIFICATION EFFICIENCY FOR COMPUTER AND TELECOMMUNICATION SYSTEMS |
|---|---|
| Название на другом языке | |
| Тип публикации | Статья |
| Издание | Информатика и ее применения |
| Издатель | Не задан |
| ISBN | 1992-2264 |
| DOI | 10.14357/19922264140408 |
| Год издания | 2014 |
| Том | 8 |
| Номер | 4 |
| Глава | Не задан |
| Страницы | 58–69 |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | |
| РИНЦ | 0 |
| WoS | 0 |
| Баллы | 5 |
| Цитируемые публикации авторов ФИЦ ИУ РАН |
