Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Никитин Святослав Александрович

В базах данных 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  mathnet

Организации
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024