По вашему запросу найдено документов: 53985
Страница 9 из 5399
Верификация проектов СБИС : проблемы и решения тестов на основе функциональных и структурных моделей.
Формирование многократных управляемых вероятностных тестов с помощью масок в виде двоичных векторовПредложенный метод формирования многократных управляемых вероятностных тестов,
основанный на
Программное средство для анализа маршевых тестов тестирования ЗУ на основе маршевых тестов и программное средство для анализа маршевых тестов.
Построение тестов и верификация потоковых моделей цифровых устройств на языке VHDLПредлагается единый подход к верификации проектов и направленному построению тестов
контроля СБИС
Верификация проектов и построение тестов контроля СБИС на уровне RTLПредлагается метод верификации проектов и направленного построения тестов контроля СБИС
Алгоритмы применения автоматизированных тестов тестов. Объектом диссертационного исследования являются технические и программно-технические средства в
Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов синтеза тестов с гарантированной полнотой на временные автоматы. В данной статье мы предлагаем метод
Конструктор тестов. Автоматизированный контроль знанийКонструктор тестов. Автоматизированный контроль знаний
Использование интерактивных тестов в процессе обучения грамматике английского языкаИспользование интерактивных тестов в процессе обучения грамматике английского языка
Качество и эффективность тестовКачество и эффективность тестов
Страница 9 из 5399
Фасеты
Партнеры
Индексация
