Electronic Documents Search
Documents found: 2
-
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 -
Creators Верис Виктория Дмитриевна Scientific adviser Васильев Алексей Евгеньевич Other creators Новопашенный Андрей Гелиевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Робототехнические системы; Алгоритмы; моделирование; программное обеспечение; нечеткое управление; мобильные роботы UDC 621.865.8:004.421(043.3) 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 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-671-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-671-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-671-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-671 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.3 Mb
