Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/

Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов: автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/

Bibliographic Details
Main Author:	Жигулин, М. В. Максим Владимирович (Author)
Corporate Author:	Национальный исследовательский Томский государственный университет(Томск) Кафедра информационных технологий в исследовании дискретных структур
Other Authors:	Евтушенко, Н. В. Нина Владимировна
Format:	Book
Language:	Russian
Published:	Томск: Позитив-НБ 2012
Subjects:	ДИСКРЕТНАЯ МАТЕМАТИКА ТЕОРИЯ АВТОМАТОВ ФОРМАЛЬНАЯ ЛОГИКА КОМПЬЮТЕРНЫЕ ЭКСПЕРИМЕНТЫ АВТОРЕФЕРАТЫ
Online Access:	https://viewer.rsl.ru/ru/rsl01005017056?page=1&rotate=0&theme=white Перейти в каталог Библиотеки ТУСУР

Similar Items

Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Жигулин, Максим Владимирович
Published: (2012)

Методы синтеза проверяющих тестов с гарантированной полнотой для контроля дискретных управляющих систем на основе временных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Жигулин, Максим Владимирович
Published: (2012)

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

Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов: Автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.01/
by: Коломеец, А. В. Антон Владимирович
Published: (2010)

Построение проверяющих тестов в процессе декомпозиционного синтеза управляющих автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Каширова, Лилия Федоровна
Published: (1991)

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

Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов диссертация на соискание ученой степени кандидата технических наук : 05.13.01
by: Коломеец, Антон Владимирович
Published: (2010)

Алгоритмы синтеза дискретных автоматов
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (1971)

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

Синтез управляющих автоматов: производственно-практическое издание/
by: Лазарев, В. Г. Владимир Георгиевич, et al.
Published: (1989)

О выполнимости предикатов при синтезе тестов с гарантированной полнотой для расширения конечных автоматов
by: Михайлов, Ю. В.

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

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

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

Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.01
by: Коломеец, Антон Владимирович
Published: (2010)

Построение тестов для конечных автоматов относительно неразделимости
by: Шабалдина, Наталия Владимировна

Тезисы докладов к предстоящему Всесоюзному коллоквиуму по автоматизации синтеза дискретных вычислительных устройств, 20 -25 сентября 1966 г.
Published: (1966)

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

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

Методы синтеза полных проверяющих тестов для детерминированных автоматов учебно-методическое пособие
Published: (2004)

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

Теоретические основы метода подвижных клеточных автоматов учебно-методическое пособие
by: Смолин, Алексей Юрьевич
Published: (2007)

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

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

Алгоритмы синтеза автоматов на программируемых матрицах: научное издание/
by: Ачасова, С. М. Светлана Михайловна
Published: (1987)

Технология разработки методов построения тестов для недетерминированных автоматов
by: Куфарева, Ирина Борисовна

Лекции по теории конечных автоматов учебное пособие
by: Агибалов, Геннадий Петрович 1939-2020
Published: (1984)

Алгоритмический язык Ляпас и автоматизация синтеза дискретных автоматов
by: Закревский, Аркадий Дмитриевич 1928-2014
Published: (1966)

Элементы алгебраической теории автоматов: учебное пособие для вузов/
by: Плоткин, Б. И. Борис Исакович, et al.
Published: (1994)

Семантическая теория проектирования автоматов: научное издание/
by: Горбатов, В. А. Вячеслав Афанасьевич
Published: (1979)

Элементы алгебраической теории автоматов учебное пособие для вузов
by: Плоткин, Б. И.
Published: (1994)

Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
by: Коломеец, Антон Владимирович

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

Синтез цифровых автоматов
by: Глушков, Виктор Михайлович 1923-1982
Published: (1962)

Геометрические образы законов функционирования автоматов
by: Твердохлебов, Владимир Александрович
Published: (2008)

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

Последовательная декомпозиция конечных автоматов
by: Курмит, Август Августович
Published: (1982)

Введение в теорию автоматов
by: Кудрявцев, Валерий Борисович
Published: (1985)

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

Сложность и алгоритмы построения проверяющих тестов и некоторых классов полиномиальных форм булевых функций автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 01.01.09
by: Рябец, Леонид Владимирович
Published: (2007)