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