Электронная библиотека (репозиторий)
Томского государственного университета
English
Русский
Home
Show
All
Show
Quick Collection
Browse ↓
Communities & Collections
By Title
By Creator
By Subject
By Date
Additional Resources
Search History
Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
-
Сделать пожертвование
-
Advanced Search
авторефераты диссертаций
Add to Quick Collection
All 8 Results
Showing items 1 - 8 of 8.
«
←
1
→
»
Sort:
Relevance
Title Ascending
Title Descending
Creator Ascending
Creator Descending
Date Ascending
Date Descending
Add All Items to Quick Collection
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Ермаков, Антон Дмитриевич
Type:
авторефераты диссертаций
Date:
2017
Description:
Загл. с титульного экрана
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов : автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01.
Authors:
Кушик, Наталья Геннадьевна
Type:
авторефераты диссертаций
Date:
2016
Description:
Загл. с титульного экрана
Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors:
Кушик, Наталья Геннадьевна
Type:
авторефераты диссертаций
Date:
2013
Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Жигулин, Максим Владимирович
Type:
авторефераты диссертаций
Date:
2012
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Коломеец, Антон Владимирович
Type:
авторефераты диссертаций
Date:
2010
Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01.
Authors:
Громов, Максим Леонидович
Type:
авторефераты диссертаций
Date:
2009
Оптимизация многокомпонентных дискретных систем на основе решения автоматных уравнений : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Тихомирова, Светлана Владимировна
Type:
авторефераты диссертаций
Date:
2008
Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Дорофеева, Маргарита Юрьевна
Type:
авторефераты диссертаций
Date:
2007
«
←
1
→
»
Creator
Кушик, Наталья Геннадьевна
(2)
Громов, Максим Леонидович
(1)
Дорофеева, Маргарита Юрьевна
(1)
Ермаков, Антон Дмитриевич
(1)
Жигулин, Максим Владимирович
(1)
Коломеец, Антон Владимирович
(1)
Тихомирова, Светлана Владимировна
(1)
Date
2007
(1)
2008
(1)
2009
(1)
2010
(1)
2012
(1)
2013
(1)
2016
(1)
2017
(1)
Subject
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
(7)
системный анализ, управление и обработка информации (по отраслям информатики, вычислительной техники и автоматизации)
(1)
^ DIV >