Kozin Svyatoslav Vladimirovich

Publications in Math-Net.Ru

1. Modeling of application and information systems from ready-made Internet service resources
   
   Proceedings of ISP RAS, 31:1 (2019),  7–24
2. Linux kernel configuration build for application systems
   
   Proceedings of ISP RAS, 30:6 (2018),  161–170
3. Static verification of Linux kernel configurations
   
   Proceedings of ISP RAS, 29:4 (2017),  217–230