Odarushchenko O, Odarushchenko O, Butenko V, Moscalets V, Strjuk O. Моделі математичних блоків дискретного перетворення інформації для верифікації програмного забезпечення програмованих логічних контролерів. Системи управління, навігації та зв’язку. Збірник наукових праць [інтернет]. 14Лип2017 [цитується за 25Лис2024];4(44):40-5. Available from: https://journals.nupp.edu.ua/sunz/article/view/376