Электронная библиотека (репозиторий)
Томского государственного университета
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 3 Results
Showing items 1 - 3 of 3.
«
←
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:
2019
Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Ермаков, Антон Дмитриевич
|
Евтушенко, Нина Владимировна (научный руководитель)
Type:
диссертации
Date:
2016
Анализ и синтез логических схем для проверки функциональных и нефункциональных требований для компонентов телекоммуникационных систем : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.
Authors:
Лапутенко, Андрей Владимирович
|
Евтушенко, Нина Владимировна (научный руководитель)
Type:
диссертации
«
←
1
→
»
Creator
Ермаков, Антон Дмитриевич
(1)
Лапутенко, Андрей Владимирович
(1)
Твардовский, Александр Сергеевич
(1)
Date
2016
(1)
2019
(1)
Subject
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
(2)
Java Path Finder (JPF), инструмент для проверки многопоточных Java программ
(1)
автоматные модели
(1)
автоматы конечные
(1)
автоматы расширенные
(1)
верификация
(1)
временные автоматы
(1)
временные автоматы детерминированные, минимизация
(1)
временные автоматы недетерминированные
(1)
временные автоматы неинициальные
(1)
временные автоматы, композиции
(1)
временные автоматы, минимизация
(1)
временные автоматы, оптимизация
(1)
временные автоматы. классы
(1)
конечные автоматы
(1)
модели неисправности
(1)
пакет программ поиска уязвимостей в программном обеспечении
(1)
проверка безопасности программного обеспечения
(1)
программы-верификаторы
(1)
▼
Show All
^ DIV >