Перевод "formal verification" на русский

Выберите исходный язык

Исходный текст

19 / 999

Выберите язык перевода

Перевод

Ваш текст переведен частично.
Вы можете переводить не более 999 символов за один раз.
Войдите или зарегистрируйтесь бесплатно на PROMT.One и переводите еще больше!

Словарь для "formal verification"

formal verification существительное

формальная верификация ж.р.

Контексты с "formal verification"

Most non-proliferation, arms control and disarmament regimes have been conceived to include formal, legally binding bilateral or multilateral verification arrangements. Большинство режимов нераспространения, контроля над вооружениями и разоружения изначально предполагали наличие формальных, юридически обязательных двусторонних или многосторонних механизмов контроля.

Some States and private sector entities have begun to address the factors that deter people from using formal banking systems, for example by abolishing overelaborate customer verification practices which make it difficult for customers to open bank accounts; reducing fees for money transfers; removing minimum balance requirements; and increasing the availability of bank services, as well as addressing stringent bank licensing requirements. Некоторые государства и организации частного сектора приступили к устранению факторов, удерживающих людей от использования официальных банковских систем, например, путем отмены практики чрезмерной проверки клиентов, которая затрудняет им возможность открыть банковский счет; уменьшения сбора за перевод денег; отмены требований в отношении минимальной суммы на счету; расширения банковских услуг, а также пересмотра строгих банковских правил в отношении лицензирования.

In it, I explained to members of the First Committee that, though the time allotted for formal sessions had expired, the Panel was still resolved to continue working towards a consensus report, particularly given the important contribution such a consensus could make to establishing a common view on the role of verification with respect to disarmament and arms control agreements. В нем я объяснил членам Первого комитета, что, хотя время, отведенное на официальные сессии, истекло, Группа настроена на продолжение работы для выработки консенсусного доклада, особенно с учетом той важной роли, которую подобный консенсус мог бы сыграть в формировании общего видения роли контроля в контексте соглашений о разоружении и контроле над вооружениями.

You don't have to be so formal. Вам не нужно быть таким формальным.

If verification is required please request a hard-copy version. Если требуется подтверждение, пожалуйста, запросите печатную версию.

Примеры употребления слов в разных контекстах предоставляются исключительно в лингвистических целях, т. е. для изучения употребления слов в одном языке и вариантов их перевода на другой. Все образцы собраны автоматически из открытых источников с помощью технологии поиска на основе двуязычных данных. Если вы обнаружили орфографическую, пунктуационную или иную ошибку в оригинале или переводе, используйте опцию "Сообщить о проблеме" или напишите нам