Bochkovskii A, Sapozhnikova N. FORMALIZATION OF AN AUTOMATED CONTROL AND INDUSTRIES SAFETY ENHANCEMENT SYSTEM. Bulletin of Lviv State University of Life Safety [Internet]. 20Mar.2018 [cited 4Nov.2026];15:114-23. Available from: https://journal.ldubgd.edu.ua/index.php/Visnuk/article/view/146