Материалов:
678 583

Репозиториев:
29

Авторов:
475 470

По вашему запросу найдено документов: 6808

Страница 1 из 681

Тестирование безопасности программного обеспечения с использованием верификаторов

Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции

Моделирование процесса эвакуации из замкнутого помещения с использованием средств Unreal Engine 4

Мутационное тестирование с использованием генератора мутантов μJAVA

Моделирование поведения паникующей толпы в проверяемом помещении при эвакуации

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01.

Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.

Железнодорожный тоннель между городом Валенштадт и городом Букс, Антон Санкт-Галлен, ШвейцарияЖелезнодорожный тоннель между городом Валенштадт и городом Букс, Антон Санкт-Галлен, Швейцария

Особенности перевода поэтических текстов Фернандо Пессоа и его основных гетеронимов: дипломная работа (проект) специалиста по направлению подготовки: 45.05.01 - Перевод и переводоведение

Антропогенное преобразования Обь-Томского междуречья: магистерская диссертация по направлению подготовки: 05.04.02 - География

Страница 1 из 681