Electronic Documents Search
Documents found: 2
-
Creators Мордвинов Дмитрий Александрович; Литвинов Юрий Викторович Organization Санкт-Петербургский государственный университет; "Инструменты и методы анализа 2015", научная конференция; Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2016 Collection Общая коллекция Subjects Радиоэлектроника; Искусственный интеллект. Экспертные системы; робототехника; роботы; формальные методы анализа; формальные методы; темпоральные логики; поведение роботов; робототехнические системы; сети Петри; Петри сети; формализмы; марковские модели; динамическая верификация UDC 004.8 LBC 32.813 Document type Article, report File type PDF Language Russian DOI 10.5862/JCSTCS.236.8 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 0.4 Mb -
Разработка программных средств моделирования систем в аппарате сетей Петри: дипломная работа: 230102
Creators Загайнова Марина Александровна Scientific adviser Дробинцев Дмитрий Федорович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2016 Collection Выпускные квалификационные работы; Общая коллекция Subjects сети Петри; программный комплекс; архитектура Document type Specialist graduation qualification work File type PDF Language Russian Level of education Specialist Speciality code (OKSO) 230102 Speciality group (OKSO) 230000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-1220 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.5 Mb
