1.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
2.
Beside this,the formalization based on OWL+Dublin Core is provided.
给出基于OWL+Dub lin Core的形式化描述;
3.
Formal Description of Command and Control Relationships;
C2组织指挥控制关系的形式化描述
4.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
5.
A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法
6.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
7.
Research on Resource Formal Description in Navy Grid Environment
海上信息栅格资源形式化描述的研究
8.
Approach to Formal Description of Cryptographic Protocols Based on XML
基于XML的安全协议形式化描述方法
9.
A formal description method for P2P network models
P2P网络模型的形式化描述方法(英文)
10.
FORMAL DESCRIPTION OF AN AUTHENTICATION SYSTEM OF USER'S STATUS
一种用户身份认证系统的形式化描述
11.
Formal Description of Regions with Hole's Topological Relations
带空洞面对象间拓扑关系形式化描述
12.
A Formal Description of the Simulation Model Based on Pushdown Automator
基于下推自动机的仿真模型形式化描述
13.
The Research on Formal Description Method for Aspect-oriented Statechart Based on CSP;
基于csp的面向方面状态图形式化描述方法研究
14.
Protocol Test Sequence Generation Based on Formal Specification;
基于形式化描述的协议测试序列生成技术
15.
Description and Analysis of WS Security Based on Temporal Logic;
基于时序逻辑的Web服务安全形式化描述与分析
16.
Research on the Formal Description of Emergency Plans;
突发事件应急预案形式化描述方法研究
17.
A Formal Description and Security Analysis of a Digital Signature System
对电子签名系统的形式化描述和安全性分析
18.
Process Model for Multimedia Task Management and its Formal Descriptions
多媒体任务管理中的过程模型及其形式化描述