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

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

Bibliographic Details
Main Author:	Твардовский, Александр Сергеевич
Corporate Author:	Томский государственный университет
Other Authors:	Евтушенко, Нина Владимировна (Thesis advisor)
Format:	eBook
Language:	Russian
Published:	Томск [б. и.] 2019
Subjects:	Системный анализ, управление и обработка информации (в отраслях информатики, вычислительной техники и автоматизации) диссертации конечные автоматы временные автоматы тесты проверяющие, синтез модели неисправности временные автоматы, минимизация временные автоматы, композиции временные автоматы детерминированные, минимизация временные автоматы недетерминированные тесты проверяющие, оптимизация временные автоматы, оптимизация временные автоматы неинициальные временные автоматы. классы
Online Access:	http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000671955 Перейти в каталог НБ ТГУ

Similar Items

Тестирование с гарантированной полнотой покрытия неисправностей на основе модели временного автомата
by: Твардовский, Александр Сергеевич

К тестированию недетерминированных автоматов с таймаутами относительно неразделимости
by: Шабалдина, Наталия Владимировна

Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов

О минимизации временных автоматов
by: Твардовский, Александр Сергеевич

Minimizing deterministic timed finite state machines

Минимизация автоматов с таймаутами и временными ограничениями
by: Твардовский, Александр Сергеевич

Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек относительно модели "черного ящика"
by: Дмитриев, И. М.

Минимизация временных автоматов с таймаутами
by: Кондратьева, Ольга Викторовна

К минимизации автоматов с таймаутами
by: Твардовский, Александр Сергеевич

О возможностях автоматного описания параллельной композиции временных автоматов
by: Твардовский, Александр Сергеевич

Conformance relations for finite state machines with timeouts
by: Kondratyeva, O.

Параллельная композиция конечных автоматов с таймаутами
by: Кондратьева, Ольга Викторовна

Программная реализация преобразования глобального полуавтомата во временной автомат
by: Сотников, Александр Павлович

Исследование отношения неразделимости для недетерминированных автоматов с тайм-аутами
by: Шабалдина, Наталия Владимировна

Синтез полных проверяющих тестов для недетерминированных автоматов с временными ограничениями
by: Твардовский, Александр Сергеевич

Использование конечно-автоматных абстракций при решении задач анализа и синтеза для временных автоматов
by: Твардовский, Александр Сергеевич

Использование временных автоматов при тестировании киберфизических систем
by: Громов, Максим Леонидович

Синтез условных различающих экспериментов для автоматов с недетерминированным поведением
by: Громов, Максим Леонидович

Расширение возможностей пакета FSMTest-1.0: вывод автоматов в графическом виде
by: Белых, Виталий Сергеевич

К синтезу проверяющих тестов для мутационного автомата
by: Дорофеева, Маргарита Юрьевна

Experiments on parallel composition of timed finite state machines
by: Sotnikov A. P.

Решение автоматных уравнений для временных автоматов относительно параллельной композиции
by: Кондратьева, Ольга Викторовна

Экспериментальное сравнение качества тестов, построенных по UML-диаграммам на основе модели временного автомата
by: Галимуллин, Рустам Фанисович

Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов Диссертация на соискание ученой степени кандидата технических наук. 05.13.01
by: Прокопенко, Светлана Анатольевна
Published: (2000)

Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Дорофеева, Маргарита Юрьевна
Published: (2007)

Частные решения уравнений для временных автоматов с таймаутами
by: Кондратьева, Ольга Викторовна

К верификации логических схем на основе временных автоматов
by: Кидярова, Галина Владимировна

Использование свойств мутационных автоматов для минимизации проверяющих тестов
by: Эль-Факи, Калед

Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.01
by: Громов, Максим Леонидович
Published: (2009)

Derivation of the cascade parallel composition of timed finite state machines using BALM-II
by: Gromov, Maxim L.

FSMTest-1.0: a manual for researches
by: Shabaldina, Natalia V

К построению проверяющих тестов для недетерминированных автоматов с тайм-аутами
by: Шабалдина, Наталия Владимировна

К синтезу различающих экспериментов для автоматов с несколькими временными переменными
by: Евтушенко, Нина Владимировна

К синтезу проверяющих тестов для недетерминированных автоматов относительно редукции
by: Евтушенко, Нина Владимировна

К построению подавтоматов без слияний для недетерминированных конечных автоматов
by: Твардовский, Александр Сергеевич

Метод идентификации обратимого автомата с известной функцией выходов
by: Жуковская, Александра Олеговна

Некоторые задачи идентификации состояний для недетерминированных автоматов
by: Евтушенко, Нина Владимировна
Published: (2018)

Экспериментальное исследование полноты тестов, построенных по конечно-автоматным срезам расширенного автомата
by: Никитин, Александр Леонидович

Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Тренькаев, Вадим Николаевич
Published: (2000)

К построению проверяющих тестов относительно неразделимости для недетерминированных автоматов
by: Акеньшина, Екатерина Алексеевна