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