Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01. - «Национальный агрегатор открытых репозиториев российских университетов» (НОРА)

Материалов:
1 005 012

Репозиториев:
30

Авторов:
596 024

расширенный поиск

Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01.

Твардовский, Александр Сергеевич, Евтушенко, Нина Владимировна (научный руководитель)

Дата публикации: 2019

Дата публикации в реестре: 2020-03-03T18:34:17Z

Ключевые слова:
Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации), диссертации, конечные автоматы, временные автоматы, тесты проверяющие, синтез, модели неисправности, временные автоматы, минимизация, временные автоматы, композиции, временные автоматы детерминированные, минимизация, временные автоматы недетерминированные, тесты проверяющие, оптимизация, временные автоматы, оптимизация, временные автоматы неинициальные, временные автоматы. классы

Тип: диссертации

Права: metadata only access

Связанные документы (рекомендация CORE)