1.
Research of Protocols Formal Description Technology Based on CSP and RSL
基于CSP和RSL的协议形式化描述技术研究
2.
Protocol Test Sequence Generation Based on Formal Specification;
基于形式化描述的协议测试序列生成技术
3.
FDT: Development and Research on Intuitive LOTOS
形式描述技术:直观LOTOS的提出和研究
4.
The Research and Realization of Formal Description and Digital Image Processing Technology Based on the Online Score System
基于网上阅卷系统的形式化描述及数字图像处理技术研究与实现
5.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
6.
Beside this,the formalization based on OWL+Dublin Core is provided.
给出基于OWL+Dub lin Core的形式化描述;
7.
Formal Description of Command and Control Relationships;
C2组织指挥控制关系的形式化描述
8.
Study on Frame Description of RDF;
资源描述框架的形式化表示问题研究
9.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
10.
A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法
11.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
12.
Research on Resource Formal Description in Navy Grid Environment
海上信息栅格资源形式化描述的研究
13.
Approach to Formal Description of Cryptographic Protocols Based on XML
基于XML的安全协议形式化描述方法
14.
A formal description method for P2P network models
P2P网络模型的形式化描述方法(英文)
15.
FORMAL DESCRIPTION OF AN AUTHENTICATION SYSTEM OF USER'S STATUS
一种用户身份认证系统的形式化描述
16.
Formal Description of Regions with Hole's Topological Relations
带空洞面对象间拓扑关系形式化描述
17.
Application of Visualization Technology in Reservoir Description;
可视化技术在储层描述中的应用研究
18.
Study on New Description of Radar Signal and Recognition Algorithm
探讨一种新的雷达信号描述方式和识别技术