Каменєв, О. Ю., Лапко, А. О., & Щебликіна, О. В. (2020). МАТЕМАТИЧНІ МОДЕЛІ ВЕРИФІКАЦІЇ ЕРГАТИЧНИХ СИСТЕМ ЗАСОБІВ ЗАЛІЗНИЧНОЇ АВТОМАТИКИ. Вісник Вінницького політехнічного інституту, (4), 7–14. https://doi.org/10.31649/1997-9266-2020-151-4-7-14