Материалов:
678 583

Репозиториев:
29

Авторов:
475 470

По вашему запросу найдено документов: 29294

Страница 1 из 2930

Синтез отказоустойчивых автоматных сетей для неисправностей задержек путей

Синтез самопроверяемых последовательностных схем для неисправностей задержек путей

Задержки проявления неисправностей при контроле работы автомата в режиме функционирования

Синтез отказоустойчивых последовательностных схем для неисправностей задержек путей

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

Синтез частично программируемых схем, маскирующих логические неисправности элементов

Программа для работы с SBDD- и MTBDD-графами. Исследование их практического использования

Использование пакета CUDD 3.0 для построения всех тестовых наборов для неисправности логической схемы в виде ROBDD-графа

Бинарные решающие диаграммы и их приложения : учебно-методический комплекс

Поиск всех тестовых наборов для неисправности логической схемы и представление их ROBDD-графом

Страница 1 из 2930