Электронная библиотека (репозиторий)
Томского государственного университета
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 2 Results
Showing items 1 - 2 of 2.
«
←
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:
2016
Тестирование безопасности программного обеспечения с использованием верификаторов
Authors:
Ермаков, Антон Дмитриевич
Source:
Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 181-183
Type:
статьи в журналах
Date:
2013
«
←
1
→
»
Creator
Евтушенко, Нина Владимировна (научный руководитель)
(1)
Date
2013
(1)
2016
(1)
Subject
C++
(1)
C-программы
(1)
Java Path Finder (JPF), инструмент для проверки многопоточных Java программ
(1)
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
(1)
автоматные модели
(1)
автоматы конечные
(1)
автоматы расширенные
(1)
диссертации
(1)
защита данных
(1)
пакет программ поиска уязвимостей в программном обеспечении
(1)
проверка безопасности программного обеспечения
(1)
программы-верификаторы
(1)
синтез тестов проверяющих
(1)
тестирование
(1)
тестирование программного обеспечения
(1)
тестирование программного обеспечения мутационное
(1)
уязвимость
(1)
▼
Show All
Resource Type
диссертации
(1)
статьи в журналах
(1)
^ DIV >