|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
1. |
E. M. Lavrischeva, V. S. Mutilin, S. V. Kozin, A. G. Ryzhov, “Modeling of application and information systems from ready-made Internet service resources”, Proceedings of ISP RAS, 31:1 (2019), 7–24 |
|
2018 |
2. |
S. V. Kozin, “Linux kernel configuration build for application systems”, Proceedings of ISP RAS, 30:6 (2018), 161–170 |
2
|
|
2017 |
3. |
S. V. Kozin, V. S. Mutilin, “Static verification of Linux kernel configurations”, Proceedings of ISP RAS, 29:4 (2017), 217–230 |
|
Organisations |
|
|