Ivasiuk O, Kharchenko V. Використання методу верифікації fmeda/fit для оцінювання кібербезпеки програмовного логічного контролера. Системи управління, навігації та зв’язку. Збірник наукових праць [інтернет]. 12Груд2023 [цитується за 21Лис2024];4(74):114-9. Available from: https://journals.nupp.edu.ua/sunz/article/view/3166