Electronic Documents Search
Documents found: 2
-
Creators Сапунов В. В.; Филиппов А. Э.; Карпов Юрий Глебович Other creators Глухов Владимир Викторович Organization Санкт-Петербургский государственный технический университет. Межвузовская научная конференция, Юбилейная неделя науки (30; 2001; Санкт-Петербург); Совет СПбГТУ по научно-исследовательской работе студентов Imprint Санкт-Петербург, 2003 Collection Общая коллекция Subjects формальные методы; программные системы; формальные описания UDC 681.322.068:681.5.01 Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 109 Kb -
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
