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

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

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

Похожие документы

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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