Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов автореферат диссертации на соискание ученой степени кандидата технических наук : 2.3.1

Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов автореферат диссертации на соискание ученой степени кандидата технических наук : 2.3.1

Библиографическая информация
Главный автор:	Широкова, Екатерина Владимировна
Соавтор:	Томский государственный университет
Формат:	Электронная книга
Язык:	Russian
Публикация:	Томск [б. и.] 2024
Предметы:	Системный анализ, управление и обработка информации, статистика авторефераты диссертаций
Online-ссылка:	http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:001149317

Похожие документы

Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов: автореф. дис. на соиск. ученой степ. канд. технич. наук. Спец. 2.3.1 - Системный анализ, управление и обработка информации, статистика/
по: Широкова, Е. В. Екатерина Владимировна
Публикация: (2024)

Конечно-автоматные алгоритмы проверки безопасного функционирования веб-сервисов диссертация на соискание ученой степени кандидата технических наук : 2.3.1
по: Широкова, Екатерина Владимировна
Публикация: (2023)

Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Твардовский, Александр Сергеевич
Публикация: (2019)

Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Твардовский, Александр Сергеевич
Публикация: (2019)

Алгоритмы систем технического зрения для решения задач автономной навигации в городской местности без глобальной спутниковой навигации автореферат диссертации на соискание ученой степени кандидата технических наук : 2.3.1
по: Шахуд, Айхам
Публикация: (2024)

Тестирование робастности веб-сервисов
по: Широкова, Екатерина Владимировна

Статистические методы идентификации динамических систем, моделируемых стохастическими дифференциальными и разностными уравнениями автореферат диссертации на соискание ученой степени доктора физико-математических наук : 2.3.1
по: Пчелинцев, Евгений Анатольевич
Публикация: (2024)

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Ермаков, Антон Дмитриевич
Публикация: (2017)

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Ермаков, Антон Дмитриевич
Публикация: (2017)

Гибридные методы и алгоритмы поддержки принятия решений для управления иерархическими производственно-техническими системами: автореферат диссертации на соискание ученой степени доктора технических наук. Спец. 2.3.1 - Спец. Системный анализ, управление и обработка информации, статистика (технические науки)/
по: Благодатский, Г. А. Григорий Александрович
Публикация: (2022)

Обнаружение объектов видеоряда на основе технологии машинного обучения (на примере лесных пожаров) автореферат диссертации на соискание ученой степени кандидата технических наук : 2.3.1
по: Лаптев, Никита Витальевич
Публикация: (2023)

Математические модели и алгоритмы построения и функционирования системы мониторинга здоровья учащихся автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Финагин, Василий Геннадьевич
Публикация: (2009)

Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
по: Ветрова, Мария Викторовна
Публикация: (2003)

Разработка системы управления IP-трафиком сервисов корпоративных вычислительных сетей автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
по: Данилюк, Юрий Сергеевич
Публикация: (2005)

Метод построения распределенных систем управления транспортными потоками на основе событийно связанных автоматных моделей: автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 2.3.1 - Системный анализ, управление и обработка информации, статистика/
по: Елькин, Д. М. Дмитрий Максимович
Публикация: (2022)

Модели и методы для автоматического пилотирования робота-вертолета на этапе взлета и посадки: автореферат диссертации на соискание ученой степени кандидата технических наук. Спец. 2.3.1 - Системный анализ, управление и обработка информации, статистика (технические науки)/
по: Дайебал, Д. Б. Д. Джаффар Бакер Джабар
Публикация: (2023)

Конечно-автоматные генераторы максимального периода
по: Прудников, Егор Сергеевич

Механизмы декомпозиционного управления жизненным циклом информационно-технологических сервисов (на примере предприятий черной металлургии) автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.01
по: Зимин, Валерий Викторович
Публикация: (2016)

Механизмы декомпозиционного управления жизненным циклом информационно-технологических сервисов (на примере предприятий черной металлургии) автореферат диссертации на соискание ученой степени доктора технических наук : 05.13.01
по: Зимин, Валерий Викторович
Публикация: (2016)

Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Твардовский, Александр Сергеевич
Публикация: (2019)

Оценка робастности как параметра качества композиции веб-сервисов
по: Широкова, Екатерина Владимировна

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Дорофеева, Маргарита Юрьевна
Публикация: (2007)

Алгоритмы голосования для мультиверсионных информационно-управляющих систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Морозов, Владимир Андреевич
Публикация: (2007)

Модели и алгоритмы распределительного решения задач нейросетевого моделирования автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Тынченко, Валерия Валериевна
Публикация: (2007)

Тестирование робастности веб-сервисов на основе композиций конечных автоматов
по: Широкова, Екатерина Владимировна

Алгоритмы обнаружения лица человека для решения прикладных задач анализа и обработки изображений автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Кудряшов, Павел Павлович
Публикация: (2007)

Методы и алгоритмы обнаружения наложенных текстовых символов в системах распознавания изображений со сложной фоновой структурой автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Зотин, Александр Геннадьевич
Публикация: (2007)

Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Лапутенко, Андрей Владимирович
Публикация: (2021)

Методы и алгоритмы сегментации медицинских изображений на основе машинного обучения автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Данилов, Вячеслав Владимирович
Публикация: (2020)

Синтез безопасных компонентов веб-сервисов на основе решения автоматных уравнений
по: Широкова, Екатерина Владимировна

Методы и алгоритмы оценки показателей надежности поэлементно развиваемых технических систем Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
по: Панков-Козочкин, Роман Александрович
Публикация: (2004)

Адаптивный критик с использованием фильтра Калмана: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
по: Ботин, В. А. Валерий Александрович
Публикация: (2012)

Модели и алгоритмы адаптации субъектов профессиональной деятельности к условиям производственной среды автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Абунавас, Халед Абдалла
Публикация: (2009)

Алгоритмы определения безразмерных признаков изображений проекций трехмерных объектов и их распознавание автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
по: Терехин, Андрей Викторович
Публикация: (2015)

Информационная поддержка управления пространственно-координированными объектами средствами нейронных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
по: Сапрыкин, О. Н. Олег Николаевич
Публикация: (2011)

Технология интеллектуального имитационного моделирования и анализа функционирования бортовых систем космических аппаратов: автореферат диссертации ... доктора технических наук: 2.3.1/
по: Исаева, О. С. Ольга Сергеевна
Публикация: (2021)

Повышение эффективности сбора информации в беспроводных сенсорных сетях на основе оптимизации расписания: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
по: Бакин, Е. А. Евгений Александрович
Публикация: (2012)

Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01
по: Спицына, Наталия Владимировна
Публикация: (2005)

Алгоритмы генетического программирования для символьного решения обыкновенных дифференциальных уравнений: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
по: Бураков, С. В. Сергей Васильевич
Публикация: (2012)

Стратегии и алгоритмы оптимального резервирования автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
по: Губин, Владимир Николаевич
Публикация: (2015)