Отображение 1 - 8 результаты of 8 для поиска 'Ермаков, Антон Дмитриевич', время запроса: 0.03сек. Отмена результатов
  1. 1
    Тестирование безопасности программного обеспечения с использованием верификаторов
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  2. 2
    Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в журнале
  3. 3
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    по Ермаков, Антон Дмитриевич
    Публикация 2017
    Перейти в каталог НБ ТГУ
    Книга
  4. 4
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 05.13.01
    по Ермаков, Антон Дмитриевич
    Публикация 2016
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  5. 5
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    по Ермаков, Антон Дмитриевич
    Публикация 2017
    Полный текст
    Перейти в каталог НБ ТГУ
    Электронная книга
  6. 6
    Мутационное тестирование с использованием генератора мутантов μJAVA
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  7. 7
    Моделирование процесса эвакуации из замкнутого помещения с использованием средств Unreal Engine 4
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
  8. 8
    Моделирование поведения паникующей толпы в проверяемом помещении при эвакуации
    Другие авторы: “...Ермаков, Антон Дмитриевич...”
    Полный текст
    Перейти в каталог НБ ТГУ
    Статья в сборнике
Инструменты поиска: RSS-поток