Vasiuta, V., Danyleiko, A. і Vasiuta, V. (2023) «КОНЦЕПТУАЛЬНІ ПІДХОДИ ОРГАНІЗАЦІЇ ПРОЦЕСІВ ВЕРИФІКАЦІЇ ПРОГРАМНИХ ПРОЄКТІВ КРИТИЧНИХ ІНФОРМАЦІЙНО-УПРАВЛЯЮЧИХ СИСТЕМ НА ОСНОВІ ВИМОГ ДО ЇХ ЖИТТЄВОГО ЦИКЛУ», Системи управління, навігації та зв’язку. Збірник наукових праць, 1(71), с. 51–59. doi: 10.26906/SUNZ.2023.1.051.