Pavlenko, M., Borozenec, I., Shilo, S., & Dmitriiev, O. (2019). Метод формалізації процесу формування інформаційних ознакситуацій обстановки в автоматизованих системах управління повітряним рухом. Системи управління, навігації та зв’язку. Збірник наукових праць, 2(54), 22-27. https://doi.org/https://doi.org/10.26906/SUNZ.2019.2.022