Showing 1 - 8 results of 8 for search 'Ермаков, Антон Дмитриевич', query time: 0.02s Refine Results
  1. 1
    Моделирование процесса эвакуации из замкнутого помещения с использованием средств Unreal Engine 4
    Get full text
    Book Chapter
  2. 2
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    Get full text
    eBook
  3. 3
    Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции
    Get full text
    Article
  4. 4
    Тестирование безопасности программного обеспечения с использованием верификаторов
    Get full text
    Article
  5. 5
    Мутационное тестирование с использованием генератора мутантов μJAVA
    Get full text
    Book Chapter
  6. 6
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
    Book
  7. 7
    Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации диссертация на соискание ученой степени кандидата технических наук : 05.13.01
    Get full text
    eBook
  8. 8
    Моделирование поведения паникующей толпы в проверяемом помещении при эвакуации
    Other Authors: “...Ермаков, Антон Дмитриевич...”
    Get full text
    Book Chapter
Search Tools: Get RSS Feed