АР01-2293 Прокопенко, С. А. Минимизация проверяющих тестов для систем логического управления методами теории конечных автоматов [Текст] : автореферат диссертации на соискание ученой степени канд.техн.наук: 05.13.01 / С. А. Прокопенко. - Томск, 2000. - 22 с. : ил В надзаг. : Том. гос. ун-т. Библиогр.:с. 21-22 (6 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
АР01-3769 Тренькаев, В. Н. Разработка методов синтеза проверяющих тестов для сетей из конечных автоматов [Текст] : автореферат диссертации на соискание ученой степени канд. техн. наук: 05.13.01 / В. Н. Тренькаев. - Томск, 2000. - 23 с. : ил. В надзаг. : Томский гос. ун-т. Библиогр.:с. 22-23(10 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар04-3761 Ветрова, М. В. Разработка алгоритмов синтеза и тестирования конечно-автоматных компенсаторов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / М. В. Ветрова. - Томск, 2003. - 20 с. : ил. В надзаг.: Том. гос. ун-т. Библиогр.: с. 19-20 (10 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар07-9937 Пономаренко, А. В. Универсальное тестирование в частных классах автоматов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / А. В. Пономаренко. - Саратов, 2007. - 20 с. - Библиогр.: с. 20 (9 назв.).
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар07-10090 Дорофеева, М. Ю. Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / М. Ю. Дорофеева. - Томск, 2007. - 18 с. : ил. - Библиогр.: с. 18(13 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар08-3377 Бородина, Ю. В. Синтез легкотестируемых схем при константных неисправностях на выходах элементов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Ю. В. Бородина. - М., 2008. - 10 с. - Библиогр.: с. 9-10(5 назв.) В надзаг.: МГУ им. М.В.Ломоносова, Мех.-мат. фак.
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар10-3092 Громов, М. Л. Разработка методов синтеза условных тестов для автоматных моделей с недетерминированным поведением [Текст] : автореф. дис. ... канд. физ.-мат. наук : 05.13.01 / М. Л. Громов. - Томск, 2009. - 18 с. - Библиогр.: с. 18 (10 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар10-20805 Коломеец, А. В. Алгоритмы синтеза проверяющих тестов для управляющих систем на основе расширенных автоматов [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 / А. В. Коломеец. - Томск, 2010. - 18 с. - Библиогр.: с. 17-18 (12 назв.)
Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-1256 Чистиков, Д. В. Сложность тестирования бесповторных функций [Текст] : автореф. дис. ... канд. физ.мат. науки : 01.01.09 / Д. В. Чистиков. - М., 2011. - 16 с. - Библиогр.: с. 15-16 (13 нзв.) В надзаг.: МГУ им. М.В. Ломоносова, Фак. вычислмт. мат. и кибернетики
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- тестирование Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар12-2284 Беджанова, С. Р. Тесты схем для некоторых классов булевых функций [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / С. Р. Беджанова. - М., 2011. - 12 с. - Библиогр.: с. 11-12 (8 назв.) В надзаг.: МГУ им. М.В.
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- диагностика неисправностей -- тесты Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар13-14560 Коляда, С. С. Верхние оценки длины проверяющих тестов для схем из функциональных элементов [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / С. С. Коляда. - М., 2013. - 14 с. - Библиогр.: с. 14 (6 назв.) В надзаг.: ФГБОУ МГУ им. М.В. Ломоносова
Кл.слова (ненормированные): математическая кибернетика -- управляющие системы -- схемы -- булевы функции -- тесты Экземпляры всего 1: ХР (1) Свободны: ХР (1) |
Ар15-4662 Морозов, Е. В. Об оценках функций Шеннона длин тестов при некоторых неисправностях входов схем [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Е. В. Морозов. - М., 2015. - 12 с. - Библиогр.: с. 11-12 (15 назв.). - 100 экз.
Кл.слова (ненормированные): схемы -- неисправность -- тестирование Экземпляры всего 1: ХР (1) Свободны: ХР (1) |