Terms containing formal model

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)
sec.sys.	formal security model	модель стратегии безопасности
data.prot.	formal security model	модель, математически точно отображающая принятую политику обеспечения безопасности
IT	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)
AI.	model for formal math reasoning	модель с возможностями построения формальных математических рассуждений (techcrunch.com Alex_Odeychuk)
IT	model of formal system	модель формальной системы
progr.	subclass of formal verification called model checking	подвид формальной верификации, называемый верификация модели (ssn)