Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Chinese
English
French
German
Italian
Russian
Tajik
Vietnamese
Terms
containing
формальные методы
|
all forms
|
exact matches only
|
in specified order only
Subject
Russian
English
el.
атака методом формального анализа шифра
formal coding attack
el.
атака методом формального анализа шифра
algebraic attack
progr.
концепции
формальных методов
formal methods concepts
(
ssn
)
mil., avia.
метод формального описания
formal description technique
Makarov.
метод формального титрования
formal-titration method
(белка)
anim.husb.
метод формального титрования белков
formal-titration method
progr.
метод формальной верификации
formal verification technique
(
ssn
)
progr.
метод формальной верификации
approach of formal verification
(
ssn
)
progr.
методы формальной верификации
formal-verification techniques
(
Alex_Odeychuk
)
progr.
методы формальной верификации
formal verification techniques
(
ssn
)
softw.
на основе методов формальной верификации программного обеспечения
based on formal methods
(
Alex_Odeychuk
)
progr.
применение методов формальной верификации программного обеспечения промышленного назначения
industrial use of formal methods
(корпорации AdaCore
Alex_Odeychuk
)
progr.
роль методов формальной верификации
role of formal verification techniques
(
ssn
)
progr.
роль методов формальной верификации в контексте проверки соответствия и тестирования ПО
role of formal verification techniques in the context of software validation and testing
(
ssn
)
progr.
формальные методы
formal methods
(строгие методы спецификации требований, проекта или реализации, базирующиеся на законах математики или логики
ssn
)
econ.
формальные методы
formal techniques
(
A.Rezvov
)
progr.
формальные методы
и критические системы
formal methods and critical systems
(
ssn
)
softw.
формальные методы
инженерии программного обеспечения
formal methods in software engineering
(
Alex_Odeychuk
)
softw., context.
формальные методы
инженерии программного обеспечения
formal methods
(
Alex_Odeychuk
)
math.
формальные методы
математики
formal methods of mathematics
(
Alex_Odeychuk
)
ed.
формальные методы
обеспечения качества программных систем
model checking
(
Alex_Odeychuk
)
progr.
формальные методы
описания синтаксиса
formal methods of describing syntax
(
ssn
)
Makarov.
формальный аксиоматический метод
formal axiomatic method
IT
формальный метод
formal approach
math.
формальный метод
formal method
Get short URL