ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ

Русско-английский перевод ФУНКЦИОНАЛЬНАЯ ВЕРИФИКАЦИЯ

functional verification

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
WORD — 1. сущ. 1) слово to write a word ≈ сделать запись to coin a word ≈ создать/придумать новое слово to …
Большой Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
SYMBOLIC CIRCUIT — 1. мнемосхема 2. функциональная схема
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
SOFTKEY — I функциональная клавиша II сенсорная клавиша (изображаемая на сенсорном экране)
Большой Англо-Русский словарь
SOFT KEY — программируемая клавиша, функциональная клавиша; экранная клавиша (изображенная на экране дисплея) Syn : function key
Большой Англо-Русский словарь
SIMULATOR — сущ. 1) притворщик; симулянт Syn : pretender, sham 2) тех. а) макет, модель; моделирующее, имитирующее устройство; имитатор flight simulator ≈ …
Большой Англо-Русский словарь
SIMULAR — средство моделирования, проф. моделятор редк притворщик, симулянт (техническое) моделирующее устройство; имитирующее устройство; модель - functional * функциональная модель - man …
Большой Англо-Русский словарь
SIMULANT — I имитант, имитируемая система II проф. модельщик (специалист, проводящий моделирование) притворщик; симулянт (биология) имитация (специальное) модель притворщик, симулянт (техническое) моделирующее …
Большой Англо-Русский словарь
SHIFTED FUNCTION KEY — функциональная клавиша, нажимаемая совместно с клавишей смены регистра
Большой Англо-Русский словарь
RESISTANCE VARIATION CURVE — функциональная характеристика переменного резистора
Большой Англо-Русский словарь
RESISTANCE VARIATION CHARACTERISTIC — функциональная характеристика (переменного резистора)
Большой Англо-Русский словарь
RESISTANCE LAW — характер изменения сопротивления; функциональная характеристика переменного резистора
Большой Англо-Русский словарь
REDUNDANCY — сущ. 1) а) чрезмерность, избыточность Syn : superabundance, superfluity б) обилие, избыток, излишнее количество, излишек Syn : profusion, abundance 2) …
Большой Англо-Русский словарь
QUOTE — 1. гл. 1) а) цитировать; ссылаться (на кого-л.) Many people quote from the Bible without knowing that they are doing …
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
KEY — I 1. сущ. 1) ключ to duplicate a key ≈ сделать ключ to fit, match a key ≈ подобрать ключ …
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
FUNCTIONAL DESIGN — 1) функциональное проектирование 2) разработка функциональных схем 3) функциональная схема; функциональная структура
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
FUNCTIONAL DESIGN — 1) функциональное проектирование 2) разработка функциональных схем 3) функциональная схема; функциональная структура
Большой Англо-Русский политехнический словарь - РУССО
LETTER — 1) буква 2) буквенный 3) литера 4) письмо 5) помечать буквами 6) символ 7) сопроводительный • anonymous letter writer — анонимщик initial function letter — начальная функциональная буква lower case …
Англо-Русский научно-технический словарь
FUNCTIONAL CONNECTION — матем. функциональная связь, функциональная зависимость
Англо-Русский научно-технический словарь
SUBACTIVITY — функциональная подгруппа, функциональная подгруппа предприятия
Англо-Русский словарь по машиностроению и автоматизации производства 2
GENERIC ACTIVITY — типичная функциональная группа, типичная функциональная группа предприятия
Англо-Русский словарь по машиностроению и автоматизации производства 2
SUBACTIVITY — функциональная подгруппа, функциональная подгруппа предприятия
Англо-Русский словарь по машиностроению и автоматизации производства
GENERIC ACTIVITY — типичная функциональная группа, типичная функциональная группа предприятия
Англо-Русский словарь по машиностроению и автоматизации производства
FUNCTIONAL CAPACITY — 1) функциональная способность 2) функциональная ёмкость
Новый Англо-Русский словарь по биологии
FUNCTIONAL CAPACITY — 1) функциональная способность 2) функциональная ёмкость
Новый Англо-Русский биологический словарь
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
SOLID-MODEL VERIFICATION — пространственная верификация, верификация по твердотельным моделям
Современный Англо-Русский словарь по машиностроению и автоматизации производства
IN-PROCESS VERIFICATION — верификация (УП) в процессе программирования, параллельная верификация
Современный Англо-Русский словарь по машиностроению и автоматизации производства
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
РАЗУМ — РАЗУМ Дуалистические теории. Позицию субстанциального дуализма, хотя она и пользуется широкой популярностью, разделяют лишь немногие профессиональные философы и ученые. Отчасти …
Русский словарь Colier
РАЗУМ — РАЗУМ Искусственный интеллект. Благодаря развитию технологии появились современные быстродействующие компьютеры. Когда такие машины сходят со сборочной линии, они способны лишь …
Русский словарь Colier
FUNCTIONAL DEPARTMENTALIZATION — упр. функциональная департаментализация (формирование структурных подразделений организации, при котором каждому подразделению соответствует своя функциональная область) See: functional area, customer departmentalization, product departmentalization, …
Новый англо-русский толковый словарь по менеджменту и экономике труда
VOICE VERIFICATION — верификация (отождествление) голоса; верификация (говорящего) по голосу
Англо-Русский словарь компьютерной безопасности
FUNCTIONAL REDUNDANCE — функциональная избыточность функциональная избыточность
Англо-Русский словарь компьютерной безопасности
FUNCTIONAL ORGANIZATION — функциональная организация; функциональная структура
Англо-Русский словарь компьютерной безопасности
FUNCTION KEY — функциональная клавиша (клавиатуры) функциональная клавиша (клавиатуры)
Англо-Русский словарь компьютерной безопасности
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Новый большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
SIMULATOR — сущ. 1) притворщик; симулянт Syn : pretender, sham 2) тех. а) макет, модель; моделирующее, имитирующее устройство; имитатор flight simulator ≈ …
Новый большой Англо-Русский словарь
KEY — I 1. сущ. 1) ключ to duplicate a key ≈ сделать ключ to fit, match a key ≈ подобрать ключ …
Новый большой Англо-Русский словарь

Большой Русско-Английский словарь

← ФУНКЦИОНАЛЬНАЯ БУКВА ФУНКЦИОНАЛЬНАЯ ВЕРШИНА→