|
|
Publications in Math-Net.Ru
-
Modeling of operational, software and technical systems in rfbr projects
Proceedings of ISP RAS, 33:6 (2021), 265–280
-
Modeling technical and mathematical tasks of applied knowledge areas on computers
Proceedings of ISP RAS, 32:6 (2020), 167–182
-
Model-based approach to ensuring reliability and security of web-services
Proceedings of ISP RAS, 32:5 (2020), 153–166
-
Methods for assessing the reliability of software and hardware systems
Proceedings of ISP RAS, 31:5 (2019), 95–108
-
Modeling of application and information systems from ready-made Internet service resources
Proceedings of ISP RAS, 31:1 (2019), 7–24
-
Informatics: Formation of computer software and technologies of software systems
Proceedings of ISP RAS, 30:5 (2018), 7–30
-
Analysis of methods for assessing the reliability of equipment and systems. Practice of methods
Proceedings of ISP RAS, 30:3 (2018), 99–120
-
Designing variability models for software, operating systems and their families
Proceedings of ISP RAS, 29:5 (2017), 93–110
-
Software product lines modeling
Proceedings of ISP RAS, 28:6 (2016), 49–64
-
Verification and analysis of variable operating systems
Proceedings of ISP RAS, 28:3 (2016), 189–208
-
Internet services for solving business problems
Proceedings of ISP RAS, 27:1 (2015), 125–150
© , 2024