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

Бази даних

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мартынюк А. Н. Тестопригодная декомпозиция автоматных моделей. — 2008 // Радіоелектрон. і комп'ют. системи.
20.

Хаханов В. И. HEDEFS - программно-аппаратная система моделирования неисправностей. — 2006 // Радіоелектроніка. Інформатика. Управління.
...
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

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