РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (75)Автореферати дисертацій (20)
Пошуковий запит: (<.>U=З972-07-5-05$<.>)
Загальна кількість знайдених документів : 93
Представлено документи з 1 до 20
...
1.

Иванов Д. Е. Автоматизированная система моделирования и генерации тестов АСМИД-Е. — 2000 // Техн. диагностика и неразрушающий контроль.
2.

Клёц Ю. П. Бессловарный поиск неисправностей - новый подход к диагностированию цифровых устройств. — 2001 // Управляющие системы и машины.
3.

Перевозніков С. І. Тестовий контроль цифрових пристроїв для інтелектуальних систем діагностування : Навч. посіб. для студ. — Вінниця, 2000
4.

Хаханова И. В. Дедуктивная технология моделирования дефектов цифровых устройств. — 2004 // Радіоелектроніка. Інформатика. Управління.
5.

Хаханов В. И. Модифицированный дедуктивный метод моделирования неисправностей цифровых устройств. — 2003 // Электрон. моделирование.
6.

Харченко В. С. Структурная организация и оценка надежности отказоустойчивых цифровых устройств на ПЛИС. — 2002 // Электрон. моделирование.
7.

Люлькин А. Е. Функциональная верификация дискретных устройств с использованием логического программирования. — 2004 // Управляющие системы и машины.
8.

Скобцов Ю. А. Функциональные модели неисправностей цифровых систем. — 2004 // Радіоелектроніка. Інформатика. Управління.
9.

Кочанов Д. А. Транслятор для автоматического преобразования VHDL-тестов логических схем. — 2005 // Управляющие системы и машины.
10.

Кривуля Г. Ф. Верификация моделей цифровых устройств, представленных на языке описания аппаратуры. — 2005 // Радіоелектроніка. Інформатика. Управління.
11.

Ленков С. В. Методика и средства контроля технического состояния цифровых приборов, содержащих элементы с обратными связями. — 2005 // Сенсор. електрон. і мікросистем. технології.
12.

Уколова Е. В. О построении контролирующей тестовой последовательности с применением генетического алгоритма. — 2007 // Радіоелектрон. і комп'ют. системи.
13.

Каминская М. А. Повышение качества теста на основе метода анализа тестопригодности устройства на различных уровнях описания. — 2007 // Радіоелектрон. і комп'ют. системи.
14.

Хаханов В. И. Применение IEEE стандартов для тестирования программно-технических комплексов. — 2006 // Радіоелектрон. і комп'ют. системи.
15.

Скобцов Ю. А. Распределенные генетические алгоритмы генерации проверяющих тестов цифровых схем. — 2007 // Радіоелектрон. і комп'ют. системи.
16.

Шкиль А. С. Реализация процедур импликации на графовой структуре. — 2006 // Радіоелектрон. і комп'ют. системи.
17.

Сыревич Е. Е. Верификация высокоуровневых моделей цифровых устройств. — 2006 // Радіоелектроніка. Інформатика. Управління.
18.

Коротєєва Т.  Дослідження ефективності застосування .NET технології для розпаралелювання трасування НВІС. — 2008 // Вісн. Нац. ун-ту "Львів. політехніка".
19.

Скобцов Ю. А. Иерархические эволюционные алгоритмы построения проверяющих тестов цифровых последовательностных схем. — 2008 // Радіоелектрон. і комп'ют. системи.
20.

Мартынюк А. Н. Тестопригодная декомпозиция автоматных моделей. — 2008 // Радіоелектрон. і комп'ют. системи.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського