Публикация №8719
| Название публикации | ВЕРОЯТНОСТНАЯ ВЕРИФИКАЦИЯ ПРИ ПРОЕКТИРОВАНИИ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ |
|---|---|
| Название на другом языке | |
| Тип публикации | Доклад |
| Издание | Инструменты и методы анализа программ (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 |
| Цитируемые публикации авторов ИПИ РАН |
