https://vital.lib.tsu.ru/vital/access/manager/Index en-us 5 Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000927130 Wed 25 Jan 2023 09:40:15 KRAT ]]> К минимизации автоматов с таймаутами https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000617602 Tue 26 Dec 2017 10:07:47 KRAT ]]> Программная реализация преобразования глобального полуавтомата во временной автомат https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000625828 Mon 14 May 2018 10:53:26 KRAT ]]> Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000621131 Mon 05 Mar 2018 09:57:43 KRAT ]]> Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651802 Fri 12 Apr 2019 14:35:54 KRAT ]]> О минимизации временных автоматов https://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000555406 Fri 02 Jun 2017 12:45:10 KRAT ]]>