1.
The Formal Modelling Method for Real-time Concurrent System
实时并发系统的形式化建模方法研究
2.
Research of Policy-based Information Security Model and Formal Modeling;
基于策略的信息安全模型及形式化建模的研究
3.
Formal Modeling and Model Checking Analysis of the Avalon System-on-Chip Bus Protocol
Avalon片上总线协议的形式化建模与模型检验分析
4.
A Research on Formalized Modeling Method for Personalized Distance Learning;
个性化远程学习的形式化建模方法研究
5.
Research on Formal Software Modeling and Design of Intelligent Distributed Supervisory and Control Systems;
智能分布监控系统软件形式化建模和设计研究
6.
Formal Modeling and Compatibility Analysis of Web Service Composition;
Web服务组合的形式化建模与相容性分析
7.
Formal Modeling and Verification of Real-time Systems Based on Time Automation;
基于时间自动机的实时系统形式化建模与验证
8.
Formalized Model and Analysis for the Life Cycle of the Lambda Phage;
λ噬菌体生活周期的形式化建模与分析
9.
Research on Formal Modeling of Message Passing Based on Coloured Petri Nets;
基于有色Petri网理论的消息通信形式化建模研究
10.
Modeling and existence of enterprise synergy mechanisms;
企业群体协同机制的形式化建模及存在性研究
11.
Formal Modeling and Analyzing Multi-agent Systems in Electronic Commerce;
电子商务中多Agent系统形式化建模与分析
12.
Review and Comment on Learning System Modeling Chen Pinde;
学习系统的形式化建模研究现状与评析
13.
Research on the Formal Verification of ASIP Architecture Level Design
ASIP体系结构形式化建模与验证方法研究
14.
Formal Modeling and Analysis of Mission-Critical Systems for Survivability
任务关键系统生存性形式化建模与分析
15.
Formal Modeling of Course of Action in Operation Planning
作战计划拟制中行动方案的形式化建模
16.
Formal Modeling and Evolution of Design Pattern Based on Role
基于角色的设计模式形式建模及演化
17.
The Format System Mode of Constructing Enterprises Safety Culture;
论企业安全文化建设的形式系统模式
18.
The Formation and the Rationalized Construction of Regional Pattern in China;
我国区域模式的形成及其合理化建设