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