Козин Святослав Владимирович

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

1. Моделирование прикладных и информационных систем из готовых сервисных ресурсов Интернет
   
   Труды ИСП РАН, 31:1 (2019),  7–24
2. Конфигурационная сборка варианта ядра Linux для прикладных систем
   
   Труды ИСП РАН, 30:6 (2018),  161–170
3. Static verification of Linux kernel configurations
   
   Труды ИСП РАН, 29:4 (2017),  217–230