Electronic Documents Search
Documents found: 3
-
Creators Львов Артем Михайлович Scientific adviser Семенов Павел Олегович Other creators Попова Елена Александровна; Жуковский Евгений Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Искусственный интеллект; Вычислительные машины электронные — Программы; Графов теория; граф потока управления; граф потока данных; разделяемые библиотеки; control flow graph; data flow graph; shared libraries UDC 004.8; 004.422.8 Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (FGOS) 10.05.01 Speciality group (FGOS) 100000 - Информационная безопасность Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-143-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-143-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-143-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-143 Rights Доступ по паролю из сети Интернет (чтение) pdf, 2.8 Mb -
Creators Вяткина Полина Алексеевна Scientific adviser Беляев Михаил Анатольевич Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects TIP; статический анализ; монотонный фреймворк; алгебраическая решетка; алгоритм унификации; абстрактное синтаксическое дерево; граф потока управления; static analysis; monotone framework; algebraic lattice; unification algorithm; abstract syntax tree; control flow graph Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-719 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Джеус Андрей Сергеевич Scientific adviser Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects программное обеспечение; проверка модели; верификация автоматной программы; автоматизация верификации; граф потока управления; интеграция инструментов верификации; software; model checking; verification of automata-based program; verification automation; control flow graph; integration of verification tools Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/3/2024/vr/vr24-3931 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb
