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

Статистика просмотров:
Эта страница:93
Страницы публикаций:467
Полные тексты:348
Списки литературы:50

https://www.mathnet.ru/rus/person129030
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2017
1. А. В. Козачок, Е. В. Кочетков, “Подход к реализации системы верифицированного исполнения программного кода”, Труды ИСП РАН, 29:6 (2017),  7–24  mathnet  elib
2. А. В. Козачок, Е. В. Кочетков, “Комплекс алгоритмов функционирования системы безопасного исполнения программного кода”, Труды ИСП РАН, 29:3 (2017),  17–30  mathnet  elib
3. А. В. Козачок, Е. В. Кочетков, “Формальная модель функционирования процесса в операционной системе”, Тр. СПИИРАН, 51 (2017),  78–96  mathnet  elib 2

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