https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565521 Wed 29 Mar 2017 09:43:54 KRAT ]]> Моделирование процесса эвакуации из замкнутого помещения с использованием средств Unreal Engine 4 https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000617435 Wed 20 Dec 2017 09:27:48 KRAT ]]> Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000565581 Tue 23 Apr 2019 10:38:26 KRAT ]]> Тестирование безопасности программного обеспечения с использованием верификаторов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000472833 Tue 19 Sep 2017 12:17:13 KRAT ]]> Моделирование поведения паникующей толпы в проверяемом помещении при эвакуации https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000650642 Mon 25 Mar 2019 11:00:18 KRAT ]]> Синтез проверяющих последовательностей для недетерминированных автоматов относительно редукции https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000505198 Mon 11 Sep 2017 09:34:02 KRAT ]]> Мутационное тестирование с использованием генератора мутантов μJAVA https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000483226 Mon 05 Jun 2017 15:53:06 KRAT ]]>