Публикация №5984(БАЛЛЫ 5)
| Название публикации | SOME LOGICAL CONDITIONS AND PROBABILISTIC CHARACTERISTICS AS A GUIDE FOR FAULT-TOLERANT SYSTEMS VERIFICATION |
|---|---|
| Название на другом языке | |
| Тип публикации | Статья |
| Издание | Lecture Notes in Engineering and Computer Science |
| Издатель | Не задан |
| ISBN | Не задан |
| DOI | Не задан |
| Год издания | 2013 |
| Том | Не задан |
| Номер | Не задан |
| Глава | Не задан |
| Страницы | 873-878 |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | |
| РИНЦ | 0 |
| WoS | 0 |
| Баллы | 5 |
| Грант % | 100 |
| Цитируемые публикации авторов ФИЦ ИУ РАН | (2007) A MATHEMATICAL TOOL FOR SUPPORT OF FAULT-TOLERANT EMBEDDED SYSTEMS DESIGN (2012) SOME PROBABILISTIC AND FORMAL TECHNIQUES FOR FAULT TOLERANT DESIGN |
