Oleh Mashkov, Oleh Ilyin, Viktor Mashkov, Oleh Boskin, Oksana Ohnieva. Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems. In Sergii Babichev, Volodymyr Lytvynenko, editors, Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making - 2022 International Scientific Conference "Intellectual Systems of Decision-Making and Problems of Computational Intelligence", Proceedings, ISDMCI 2022, Rivne, Ukraine, June 14-16, 2022. Volume 149 of Lecture Notes on Data Engineering and Communications Technologies, pages 160-176, Springer, 2022. [doi]
Abstract is missing.