O Mashkov, O Ilyin, V Mashkov, O Boskin… - … “Intellectual Systems of …, 2022 - Springer
Scientific research is devoted to determining the areas of integrated application of the formal
method Event-B for the development of environmental management systems. The practice of …