МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ. Вісник ВПІ [інтернет]. 25, Вересень 2020 [цит. за 10, Жовтень 2026];(4):7-14. доступний у: https://visnyk.vntu.edu.ua/index.php/visnyk/article/view/2509