formal model

基本解释

A formal model is proposed to describe time character of constraint in this paper.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文针对这个问题，从数理逻辑的角度出发，建立了一个形式化模型。
A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.
本文中用一种正式的模型来分析企业之间的冲突与合作。

To this end, UNESCO will be promoting the inclusion of MIL in formal and non-formal education systems through its Model Media and Information Literacy Curriculum for Teacher Education, which will be released soon.
UNESCO: Communication and Information