A software architecture based on model driven is introduced in the paper.
介绍了一种基于模型驱动的软件体系结构。
This model based on the multilevel security policy, to increase host security in every aspects.
模型以多级安全策略为基础，以全面增强主机安全。
A parametric study is presented based on the model in this paper.
还依据这一模型进行了参数研究。
The technology of model checking based on mission flow is discussed in this paper.
对任务流模型检验技术进行了讨论。
The technology of model checking based on mission flow is discussed in this paper.
对任务流模型检验技术进行了讨论。
应用推荐