Electronic Documents Search

Documents found: 54

1
2
3
4
5
6

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193)

Creators	Подымов Владислав Васильевич; Попеско Ульяна Владиславовна
Organization	Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
Collection	Общая коллекция
Subjects	программно-конфигурируемые сети; верификация; сетевые коммутаторы; временные аппараты; темпоральная логика
UDC	004.415.5(045)
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 392 Kb

Разработка автоматизированного метода покрытия функциональных требований для сложных проектов: бакалаврская работа: 09.03.01

Creators	Фалько Алексей Сергеевич
Scientific adviser	Котляров Всеволод Павлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2016
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	автоматизация тестирования; базовый протокол; верификация
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 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/v17-1133
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.8 Mb

Автоматизация тестирования соответствия реализаций стандарту протокола безопасности транспортного уровня TLS // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193)

Creators	Никешин Алексей Вячеславович; Пакулин Николай Витальевич; Шнитман Виктор Зиновьевич
Organization	Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
Collection	Общая коллекция
Subjects	тестирование; протоколы; верификация; модели программ; защита обменов
UDC	004.415.5.056(045)
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 238 Kb

Верификация программно-конфигурируемых сетей при помощи системы UPPAAL // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2014. – № 2 (193)

Creators	Подымов Владислав Васильевич; Попеско Ульяна Владиславовна
Organization	Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014
Collection	Общая коллекция
Subjects	программно-конфигурируемые сети; верификация; сетевые коммутаторы; временные аппараты; темпоральная логика
UDC	004.415.5(045)
Document type	Article, report
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 392 Kb

Разработка метода автоматизации распределенного тестирования с применением суперкомпьютерной платформы: выпускная квалификационная работа магистра: 09.04.04 - Программная инженерия

Creators	Фалько Алексей Сергеевич
Scientific adviser	Дробинцев Павел Дмитриевич
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2018
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Математическое обеспечение; Вычислительные машины электронные — Программы — Тестирование; верификация
UDC	004.42; 004.415.53
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	09.04.04
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
Links	http://elib.spbstu.ru/dl/2/rev/v18-1438-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-1438-r.pdf
DOI	10.18720/SPBPU/2/v18-1438
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.6 Mb

Идентификация пользователя на основе голосовых характеристик: выпускная квалификационная работа бакалавра: 10.03.01 - Информационная безопасность

Creators	Габдрахимова Регина Ринатовна
Scientific adviser	Малыхина Галина Федоровна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2018
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	голосовая биометрия; распознавание диктора; идентификация; верификация; линейное предсказание речи; динамическая деформация времени
Document type	Bachelor graduation qualification work
File type	PDF
Language	Russian
Level of education	Bachelor
Speciality code (FGOS)	10.03.01
Speciality group (FGOS)	100000 - Информационная безопасность
Links	http://elib.spbstu.ru/dl/2/rev/v18-1769-o.pdf
DOI	10.18720/SPBPU/2/v18-1769
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.7 Mb

Введение в технологии верификации: учебно-методическое пособие

Creators	Дробинцев Павел Дмитриевич
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Electronic publication	Санкт-Петербург, 2017
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные системы — Математическое обеспечение; Вычислительные системы — Программирование; верификация
UDC	004.415.5(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/i17-32
Rights	Доступ по паролю из сети Интернет (чтение, печать)

pdf, 1.6 Mb

Технология программирования. Верификация параллельных и распределенных программных систем: учебное пособие

Creators	Карпов Юрий Глебович
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2010
Electronic publication	Санкт-Петербург, 2020
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительные системы — Программирование; Сложные системы — Моделирование; верификация; тестирование; учебники и пособия для вузов
UDC	004.415.5(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	09.00.00
Speciality group (FGOS)	090000 - Информатика и вычислительная техника
DOI	10.18720/SPBPU/2/si20-987
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 4.3 Mb

Верификация модуля управления производством пластиковых карт методом Model Checking: дипломная работа: 10.05.04

Creators	Домбровская Юлия Николаевна
Scientific adviser	Платонов Владимир Владимирович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	пластиковые карты; верификация; управление производством
Document type	Specialist graduation qualification work
File type	PDF
Language	Russian
Level of education	Specialist
Speciality code (FGOS)	10.05.04
Speciality group (FGOS)	100000 - Информационная безопасность
DOI	10.18720/SPBPU/2/v17-1228
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.3 Mb

Анализ и верификация задержек в микроархитектуре коммуникационных фабрик: автореф. дис. … канд. техн. наук: 05.13.05

Creators	Викторов Юрий Олегович
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург, 2013
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Микропроцессоры — Архитектура; коммуникационные фабрики; верификация
UDC	004.4'426(043.3)
Document type	Author's Abstract
File type	PDF
Language	Russian
Speciality code (OKSVNK)	05.13.05
Speciality group (OKSVNK)	050000 - Технические науки
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.6 Mb

1
2
3
4
5
6