Пристрої для перевірки та контролю
Підтеми:
Документи:
- Диагностирование управляющих логических устройств на основе процедуры машинного доказательства теорем в исчислении высказываний [Текст] : автореф. дис. ... канд. техн. наук : 05.13.01 "Техническая кибернетика и теория информации" / Таганрог. радиотехн. ин-т. — Таганрог, 1984. — 17 с.
- Ієрархічні еволюційні методи генерації тестів цифрових систем [Текст] : автореф. дис. ... канд. техн. наук : 05.13.05 "Комп'ютерні системи і компоненти" / Донец. нац. техн. ун-т. — Донецьк, 2010. — 20 с.
- Оптимизация устройств программно-логического управления [Текст] : отчет о НИР (заключ.) / МОН України, ХИРЭ ; науч. рук. М.Ф. Бондаренко ; исполн. : Ю.К. Кирьяеов и др. — Харьков, 1980. — 152 с.
- Разработка системы контроля и диагностики устройств базовых комплексов СМ ЭВМ [Текст] : отчет о НИР (заключ.) / МОН України, ХИРЭ ; науч. рук. Г.Ф.Кривуля; исполн. : А.Н. Кузнецов и др. — Харьков, 1979. — 66 с.
- Разработка системы контроля и диагностики устройств базовых комплексов СМ ЭВМ [Текст] : отчет о НИР (промежуточ.) / МОН України, ХИРЭ ; науч. рук. Г.Ф.Кривуля; исполн. : А.Н. Кузнецов и др. — Харьков, 1978. — 135 с.
- Расширение функций и изготовление анализаторов логических состояний [Текст] : отчет о НИР (заключ.) / МОН України, ХИРЭ ; науч. рук. Э.А. Свирщева ; исполн. : А.И. Минаев и др. — Харьков, 1990. — 24 с.
- Розробка методів моделювання і тестування пошкоджених цифрових пристроїв у багатозначних алфавітах [Текст] : автореф. дис. ... канд. техн. наук : 05.13.13 "Обчислювальні машини, системи та мережі" / Донец. держ. техн. ун-т. — Донецьк, 2000 . — 18 с.
|
