Sign in | English | Terms of Use
DictionaryForumContacts

   Russian ⇄
Terms for subject Programming containing метод верификации | all forms | exact matches only | in specified order only
RussianEnglish
более сложные методы верификацииmore complex verification techniques (ssn)
более сложные методы верификации, основанные на непрерывном времениmore complex verification techniques based on continuous time (ssn)
метод верификацииverification technique (ssn)
метод верификацииverification method (ssn)
метод верификации моделейmodel checking technique (ssn)
метод верификации тестовtest verification method (ssn)
метод спецификации и верификации дискретных систем реального времениmethod for specifying and verifying discrete real-time systems (ssn)
метод формальной верификацииformal verification technique (ssn)
метод формальной верификацииapproach of formal verification (ssn)
методы верификацииverification techniques (ssn)
методы верификацииverification methods (ssn)
методы верификации, основанные на непрерывном времениverification techniques based on continuous time (ssn)
методы верификации ПОsoftware verification methods (ssn)
методы верификации программного обеспеченияsoftware verification methods (ssn)
методы верификации систем непрерывного реального времениmethods for verifying continuous real-time systems (ssn)
методы динамической верификацииdynamic verification methods (ssn)
методы формальной верификацииformal-verification techniques (Alex_Odeychuk)
методы формальной верификацииformal verification techniques (ssn)
Наиболее очевидный и традиционный метод верификации проекта-при помощи прототипаthe most obvious and traditional method of design verification is prototyping
обзор методов верификации ПОreview of software verification methods (ssn)
обзор методов верификации программного обеспеченияreview of software verification methods (ssn)
применение методов формальной верификации программного обеспечения промышленного назначенияindustrial use of formal methods (корпорации AdaCore Alex_Odeychuk)
родственные методы верификации систем реального времениrelated methods for verifying real-time systems (ssn)
роль методов формальной верификацииrole of formal verification techniques (ssn)
роль методов формальной верификации в контексте проверки соответствия и тестирования ПОrole of formal verification techniques in the context of software validation and testing (ssn)
символьные методы верификации моделейsymbolic model-checking techniques (ssn)
целый ряд методов верификацииa lot of verification methods (ssn)

Get short URL