|
Никитин Святослав Александрович
|
В базах данных Math-Net.Ru |
Публикаций: |
1 |
Научных статей: |
1 |
Статистика просмотров: |
Эта страница: | 29 | Страницы публикаций: | 28 | Полные тексты: | 13 |
|
Дата рождения: |
12.02.1995 |
Ключевые слова: |
Разработка,
верификация,
системы на кристалле. |
Основные темы научной работы |
Разработка и верификация цифровых устройств |
|
|
https://www.mathnet.ru/rus/person149574 |
|
Список публикаций на Google Scholar |
|
Список публикаций на ZentralBlatt |
|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2022 |
1. |
А. В. Гаращенко, Д. С. Лашина, С. А. Никитин, А. В. Николаев, Е. А. Прокопьев, Ф. М. Путря, Б. Н. Цыренжапов, “Практика и перспективы применения открытых и собственных программных решений в маршруте верификации систем на кристалле”, Труды ИСП РАН, 34:5 (2022), 23–42 |
|
|
Организации |
|