Публикация №8791(БАЛЛЫ 5)
| Название публикации | ASSURANCE OF SOME SYSTEM RELIABILITY CHARACTERISTICS IN FORMAL DESIGN VERIFICATION |
|---|---|
| Название на другом языке | |
| Тип публикации | Тезисы |
| Издание | Abstracts of VeriSure2014 Workshop as a part of Vienna Summer Logic |
| Издатель | Abstracts Of Vienna Summer Logic |
| ISBN | Не задан |
| DOI | Не задан |
| Год издания | 2014 |
| Том | Не задан |
| Номер | Не задан |
| Глава | Не задан |
| Страницы | Не задан |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | http://www.easychair.org/smart-program/VSL2014/VeriSure-2014-07-23.html |
| РИНЦ | 0 |
| WoS | 0 |
| Баллы | 5 |
| Грант % | 100 |
| Цитируемые публикации авторов ФИЦ ИУ РАН |
