https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378804 Wed 31 May 2017 09:52:50 KRAT ]]> К синтезу тестов по мутационному автомату https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378796 Wed 31 May 2017 09:52:44 KRAT ]]> Создание информационной системы "Автоматы" https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378836 Sat 06 May 2017 11:01:31 KRAT ]]> Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378824 Mon 29 May 2017 12:36:30 KRAT ]]>