Шестакова, Алина Юрьевна. Программное средство верификации моделей BPMN 2.0 с использованием алгоритма Model Checking: выпускная квалификационная работа магистра: направление 09.04.04 «Программная инженерия» ; образовательная программа 09.04.04_01 «Технология разработки и сопровождения качественного программного продукта» = BPMN 2.0 Model Verification Software using the Model Checking Algorithm / А. Ю. Шестакова; Санкт-Петербургский политехнический университет Петра Великого, Институт компьютерных наук и кибербезопасности; научный руководитель А. Д. Ковалев. — Санкт-Петербург, 2024. — 1 файл (3,8 Мб). — Загл. с титул. экрана. — Доступ по паролю из сети Интернет (чтение). — Adobe Acrobat Reader 7.0. — <URL:http://elib.spbstu.ru/dl/3/2024/vr/vr24-2093.pdf>. — DOI 10.18720/SPBPU/3/2024/vr/vr24-2093. — Текст: электронный