Vasiuta, Vasyl, Artem Danyleiko, і Viktoriia Vasiuta. 2023. Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Системи управління, навігації та зв’язку. Збірник наукових праць 1 (71). Полтава: ПНТУ, 51-59. https://doi.org/https://doi.org/10.26906/SUNZ.2023.1.051.