КАМЕНЄВ, О. Ю.; ЛАПКО, А. О.; ЩЕБЛИКІНА, О. В. МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ. Вісник Вінницького політехнічного інституту, [S. l.], n. 4, p. 7–14, 2020. DOI: 10.31649/1997-9266-2020-151-4-7-14. Disponível em: https://visnyk.vntu.edu.ua/index.php/visnyk/article/view/2509. Acesso em: 12 листоп. 2024.