Публикация №4382(БАЛЛЫ 5)
| Название публикации | УНИФИЦИРОВАННАЯ ВЫСОКОУРОВНЕВАЯ МОДЕЛЬ ПРОГРАММНО-АППАРАТНОЙ СИСТЕМЫ ДЛЯ ВЕРИФИКАЦИИ СВОЙСТВ НАДЕЖНОСТИ ФУНКЦИОНИРОВАНИЯ |
|---|---|
| Название на другом языке | |
| Тип публикации | Доклад |
| Издание | Инструменты и методы анализа программ (Tools & Methods of Program Analysis TMPA-2013): Материалы Международной научно-практической конференции |
| Издатель | Кострома: КГТУ |
| ISBN | 978-5-8285-0666-8 |
| DOI | Не задан |
| Год издания | 2013 |
| Том | Не задан |
| Номер | Не задан |
| Глава | Не задан |
| Страницы | 118–129 |
| Аннотация | Не задан |
| Авторы | |
| ссылка в Internet | https://disk.yandex.ru/public/?hash=5waJElyqHAhqCiBuCTD/npCPwyESKS/zbZF6nzYyI44%3D |
| РИНЦ | 0 |
| WoS | 0 |
| Баллы | 5 |
| Цитируемые публикации авторов ФИЦ ИУ РАН | (2013) SOME MEASURES OF SELF-REPAIRING ABILITY FOR FAULT-TOLERANT CIRCUITS DESIGN (2012) SOME PROBABILISTIC AND FORMAL TECHNIQUES FOR FAULT TOLERANT DESIGN |
