Кочетков Евгений Викторович

Публикации в базе данных Math-Net.Ru

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