https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Экспериментальное сравнение методов проверки эквивалентности расширенных полуавтоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927128 Wed 25 Jan 2023 09:33:14 KRAT ]]> Синтез тестов для цифровых систем на высоком и низком уровнях абстракции https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000661796 Mon 23 Sep 2019 11:26:30 KRAT ]]> Экспериментальное исследование свойств адаптивных установочных последовательностей для недетерминированных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000793164 Fri 12 Feb 2021 09:55:15 KRAT ]]>