Electronic Documents Search

Documents found: 1

1

Использование обусловленных регулярных выражений для верификации автоматных программ: выпускная квалификационная работа магистра: направление 01.04.02 «Прикладная математика и информатика» ; образовательная программа 01.04.02_02 «Математические методы анализа и визуализации данных»

Creators	Харисова Таисия Анваровна
Scientific adviser	Новиков Федор Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт
Imprint	Санкт-Петербург, 2024
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные — Программы; методы верификации; реагирующие системы; автоматное программирование; обусловленные регулярные выражения; граф переходов состояний; verification methods; reactive systems; automata-based programming; conditional regular expressions; state transition graph
UDC	004.422.8
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	01.04.02
Speciality group (FGOS)	010000 - Математика и механика
DOI	10.18720/SPBPU/3/2024/vr/vr24-5719
Rights	Доступ по паролю из сети Интернет (чтение)

pdf, 1.5 Mb

1