Electronic Documents Search

Documents found: 2

1

Разработка Web-интерфейса для верификатора Spin: бакалаврская работа: 09.03.01

Creators	Бояркин Никита Сергеевич
Scientific adviser	Ицыксон Владимир Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	формальная верификация; проверка моделей; конечный автомат; верификатор Spin
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-4080
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.0 Mb

Разработка web-frontend для NuSMV: бакалаврская работа: 09.03.01

Creators	Кан Виталий Сергеевич
Scientific adviser	Ицыксон Владимир Михайлович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
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-4088
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.5 Mb

1