Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Прокопьев Сергей Евгеньевич
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:6
Страницы публикаций:39
Полные тексты:19

https://www.mathnet.ru/rus/person207545
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0002-4410-2565

Публикации в базе данных Math-Net.Ru Цитирования
2023
1. С. Е. Прокопьев, “Извлечение опорных тестовых наборов из спецификаций криптопротоколов на предметно-ориентированном языке”, Труды ИСП РАН, 35:6 (2023),  167–178  mathnet
2021
2. С. Е. Прокопьев, “Формальный язык первичных спецификаций криптографических протоколов”, Труды ИСП РАН, 33:5 (2021),  117–136  mathnet
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024