Electronic Documents Search
Documents found: 2
-
Creators Бедрин Алексей Григорьевич Scientific adviser Болсуновская Марина Владимировна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects тестирование программного обеспечения; фаззинг; формальная спецификация; software testing; fuzzing; formal specification 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-3924 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
Creators Чёрный Виталий Григорьевич Scientific adviser Ицыксон Владимир Михайлович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программы — Тестирование; Вычислительные машины электронные персональные — Библиотеки программ; фаззинг; формальные спецификации; fuzzing; formal specifications UDC 004.415.53 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/2022/vr/vr22-1619 Rights Доступ по паролю из сети Интернет (чтение) pdf, 0.5 Mb
