Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
German
Russian
Terms
containing
formal model
|
all forms
|
exact matches only
|
in specified order only
Subject
English
Russian
IT
formal computational model
формальная вычислительная модель
(
Alex_Odeychuk
)
IT
formal model
формальная модель
progr.
formal model
семантика
(semantics; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления
Alex_Odeychuk
)
progr.
formal model
and specification
формальная модель и спецификация
(InfoWorld
Alex_Odeychuk
)
AI.
formal model
of deductive reasoning
формальная модель дедуктивных рассуждений
(
Alex_Odeychuk
)
progr.
formal models
формальные модели
(
ssn
)
IT
formal security model
формальная модель политики безопасности
sec.sys.
formal security model
модель стратегии безопасности
data.prot.
formal security model
модель, математически точно отображающая принятую политику
обеспечения
безопасности
sec.sys.
formal security model
модель политики безопасности
data.prot.
formal security policy model
формальная модель политики безопасности
d.b..
formal theory called the relational model of data
формальная теория, называемая реляционной моделью данных
(
ssn
)
progr.
formal translation model
формальная модель трансляции
(
ssn
)
progr.
formal translation models
формальные модели трансляции
(
ssn
)
IT
formal web model
формальная модель гипертекстовых систем
(
konspekta.net
,
arxiv.org
Alex_Odeychuk
)
IT
model of formal system
модель формальной системы
progr.
subclass of formal verification called model checking
подвид формальной верификации, называемый верификация модели
(
ssn
)
Get short URL