Vasiuta V, Danyleiko A, Vasiuta V. Концептуальні підходи організації процесів верифікації програмних проєктів критичних інформаційно-управляючих систем на основі вимог до їх життєвого циклу. Системи управління, навігації та зв’язку. Збірник наукових праць [інтернет]. 17Бер2023 [цитується за 28Квіт2024];1(71):51-9. Available from: https://journals.nupp.edu.ua/sunz/article/view/2827