https://vital.lib.tsu.ru/vital/access/manager/Index ${session.getAttribute("locale")} 5 Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000378824 Mon 29 May 2017 12:36:30 KRAT ]]> Синтез диагностических тестов для программного обеспечения по срезам расширенного автомата https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000473318 Mon 18 Sep 2017 14:00:14 KRAT ]]> Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01. https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000426083 Mon 13 Mar 2017 11:58:58 KRAT ]]> Синтез тестов для протокола TFTP на основе автоматной модели с таймаутами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000449658 Mon 02 Sep 2019 11:11:30 KRAT ]]> Дискретная математика : электронное учебное пособие https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000243500 Fri 27 Mar 2020 16:46:03 KRAT ]]>