1.
A VSK-t Logic-based Formal Model of Agent System;
基于VSK-t逻辑的Agent形式化模型
2.
Complexity Analysis and Mathematical Model of DNA-Based Self-Assembly;
DNA自装配的复杂度分析及形式化模型
3.
A Formal Model of VSK-Agent System Combined with Mental States;
结合思维状态的VSK-Agent形式化模型
4.
WSCI Formal Model Analysis Based on Petri Nets
基于Petri网的WSCI形式化模型分析
5.
Formal model about payment protocol based on reputation system
基于信誉机制的支付协议形式化模型
6.
Research on Formal Model and Implementation for WS-CDL
WS-CDL的形式化模型和执行过程研究
7.
Semantics Based Formal Model for Security Protocols
一种基于语义的安全协议形式化模型
8.
Research of a Formal Model for WS-CDL Based on Trace with Conditions
一种基于带条件的轨迹的WS-CDL形式化模型研究
9.
High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;
基于多项式模型的高层次形式化验证
10.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
11.
Formalized analysis for authentication test model of TLS
TLS协议认证测试模型与形式化分析
12.
Research of Transport Situation Interaction Model and Its CSP Formalization
运输态势交互模型及其CSP形式化研究
13.
Formal Verification of Hardware Design Based on Rebeca Model
基于Rebeca模型的硬件设计形式化验证
14.
Formal Semantics of Architecture Model of Collaborative Systems
协同系统体系结构模型的形式化语义
15.
A formal description method for P2P network models
P2P网络模型的形式化描述方法(英文)
16.
Reference model and formal analysis for requirements of equipment systems
装备体系需求参考模型及形式化分析
17.
Formal Semantics of Component-Based Architecture Model Mapping
构件式体系结构模型映射的形式化语义
18.
Much attention is paid to fuzzy hierarchical optimization model.
对模型的数学形式———模糊层次优化做了阐述。