TY  - BOOK
AU  - Твардовский,Александр Сергеевич
AU  - Евтушенко,Нина Владимировна
ED  - Томский государственный университет.
TI  - Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной: диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
PY  - 2019///
CY  - Томск
PB  - [б. и.]
KW  - Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации)
KW  - nsnr
KW  - диссертации
KW  - конечные автоматы
KW  - временные автоматы
KW  - тесты проверяющие, синтез
KW  - модели неисправности
KW  - временные автоматы, минимизация
KW  - временные автоматы, композиции
KW  - временные автоматы детерминированные, минимизация
KW  - временные автоматы недетерминированные
KW  - тесты проверяющие, оптимизация
KW  - временные автоматы, оптимизация
KW  - временные автоматы неинициальные
KW  - временные автоматы. классы
N1  - Библиогр.: л. 123-132; Доступ в сети ТГУ
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000671955
ER  -