Публикация №8719(БАЛЛЫ 5)
Название публикации | ВЕРОЯТНОСТНАЯ ВЕРИФИКАЦИЯ ПРИ ПРОЕКТИРОВАНИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ |
---|---|
Название на другом языке | |
Тип публикации | Доклад |
Издание | Инструменты и методы анализа программ (TMPA-2014): Материалы международной научно-практической конференции |
Издатель | Кострома: КГТУ |
ISBN | 975-5-8285-0719-1 |
DOI | Не задан |
Год издания | 2014 |
Том | Не задан |
Номер | Не задан |
Глава | Не задан |
Страницы | 148–155 |
Аннотация | Не задан |
Авторы | |
ссылка в Internet | http://tmpaconf.org/images/pdf/2014/sergey%20frenkel%20victor%20zakharov%20vladimir%20ushakov.pdf |
РИНЦ | 0 |
WoS | 0 |
Баллы | 5 |
Грант % | 100 |
Цитируемые публикации авторов ФИЦ ИУ РАН |