Электронная библиотека (репозиторий) Томского государственного университета
Ермаков, Антон Дмитриевич

Add to Quick Collection   All 7 Results

Showing items 1 - 7 of 7.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Моделирование поведения паникующей толпы в проверяемом помещении при эвакуации
Authors: Саакян, Эдуард Тигранович | Ермаков, Антон Дмитриевич
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 100-101
Type: статьи в сборниках
Date: 2018
Add   Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Ермаков, Антон Дмитриевич
Type: авторефераты диссертаций
Date: 2017
Description: Загл. с титульного экрана
Add   Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Ермаков, Антон Дмитриевич | Евтушенко, Нина Владимировна (научный руководитель)
Type: диссертации
Date: 2016
Add   Моделирование процесса эвакуации из замкнутого помещения с использованием средств Unreal Engine 4
Authors: Ермаков, Антон Дмитриевич
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 73-74
Type: статьи в сборниках
Date: 2016
Add   Мутационное тестирование с использованием генератора мутантов μJAVA
Authors: Ермаков, Антон Дмитриевич
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 50-51
Type: статьи в сборниках
Date: 2014
Add   Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
Authors: Ермаков, Антон Дмитриевич
Source: Труды Института системного программирования РАН. 2014. Т. 26, вып. 6. С. 111-123
Type: статьи в журналах
Date: 2014
Add   Тестирование безопасности программного обеспечения с использованием верификаторов
Authors: Ермаков, Антон Дмитриевич
Source: Известия высших учебных заведений. Физика. 2013. Т. 56, № 9/2. С. 181-183
Type: статьи в журналах
Date: 2013
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^