|
Автоматика и телемеханика, 1994, выпуск 8, страницы 145–153
(Mi at3959)
|
|
|
|
Техническая диагностика
Построение проверяющего множества для компоненты последовательной автоматной сети
Н. В. Евтушенкоa, А. В. Лебедевa, А. Ф. Петренкоb a Томский государственный университет
b Институт электроники и вычислительной техники, Рига
Аннотация:
Предлагается новый подход к решению задачи построения проверяющих тестов для компоненты последовательной автоматной сети, основанный на построении недетерминированного автомата, который описывает поведение компоненты, наблюдаемое на выходе сети.
Поступила в редакцию: 24.05.1993
Образец цитирования:
Н. В. Евтушенко, А. В. Лебедев, А. Ф. Петренко, “Построение проверяющего множества для компоненты последовательной автоматной сети”, Автомат. и телемех., 1994, № 8, 145–153; Autom. Remote Control, 55:8 (1994), 1203–1210
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/at3959 https://www.mathnet.ru/rus/at/y1994/i8/p145
|
|