Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01
Main Author: | Кушик, Наталья Геннадьевна |
---|---|
Corporate Author: | Томский государственный университет Радиофизический факультет Кафедра информационных технологий в исследовании дискретных структур |
Format: | eBook |
Language: | Russian |
Published: |
Томск
[б. и.]
2016
|
Subjects: | |
Online Access: | http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000539844 Перейти в каталог НБ ТГУ |
Similar Items
-
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов автореферат диссертации на соискание ученой степени доктора физико-математических наук : 05.13.01
by: Кушик, Наталья Геннадьевна
Published: (2016) -
Методы выделения подклассов конечных автоматов с пониженными оценками сложности умозрительных экспериментов диссертация на соискание ученой степени доктора физико-математических наук : 05.13.01
by: Кушик, Наталья Геннадьевна
Published: (2016) -
Методы синтеза установочных и различающих экспериментов с недетерминированными автоматами автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Кушик, Наталья Геннадьевна
Published: (2013) -
Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Коломеец, Антон Владимирович
Published: (2010) -
Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Жигулин, Максим Владимирович
Published: (2012)