ФОРМАЛІЗАЦІЯ СИСТЕМИ АВТОМАТИЗОВАНОГО КОНТРОЛЮ І ПІДВИЩЕННЯ БЕЗПЕКИ ВИРОБНИЦТВ - Bochkovskii, A.; Sapozhnikova, N. (Вісник Львівського державного університету безпеки життєдіяльності, 2018)