TY JOUR TI ПОСТРОЕНИЕ ОБНАРУЖИВАЮЩИХ ТЕСТОВ ДЛЯ НЕЧЕТКИХ АВТОМАТОВ KW нечеткие автоматы; нечеткие графы; преобразования нечетких автоматов в четкие; методы синтеза тестов для четких автоматов; константные неисправности; концепция синтеза обнаруживающих тестов JO Автоматика на транспорте AU Сперанский, Д.В. AU Лунев, С.А. PY 2025 IS 11 PB ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"