2022
Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems.
Proceedings of the Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making, 2022

Application of the Theory of Functional Stability in the Problems of Covering Territories by Sensory Networks.
Proceedings of the Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making, 2022