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