Electronic Documents Search
Documents found: 3
-
Creators Пакулин Николай Витальевич Organization Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2014 Collection Общая коллекция Subjects динамическая верификация; тестирование; киберфизические системы; гибридные системы UDC 004.386(045); 004.415.53(045) Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 290 Kb -
Creators Иванников Виктор Петрович; Камкин Александр Сергеевич; Чупилко Михаил Михайлович Collection Общая коллекция Subjects динамическая верификация; HDL-модели; модульная верификация; сопоставление трасс; частично-упорядоченные мультимножества UDC 004.415.53(045) Document type Article, report File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 0.5 Mb -
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
