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