Зиннатулин Ф.Ф. (науч. рук. Поляков В.И.) Верификация вычислительного процесса информационной системы
УДК тезиса: 004.05
В работе предлагается метод верификации вычислительного процесса информационной системы на основе метода верификации вычислительного процесса корпоративного портала.
Зиннатулин Ф.Ф. (науч. рук. Поляков В.И.) Верификация вычислительного процесса информационной системы // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2022]. URL: https://kmu.itmo.ru/digests/article/7533