1.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
2.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
3.
A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法
4.
Approach to Formal Description of Cryptographic Protocols Based on XML
基于XML的安全协议形式化描述方法
5.
A formal description method for P2P network models
P2P网络模型的形式化描述方法(英文)
6.
The Research on Formal Description Method for Aspect-oriented Statechart Based on CSP;
基于csp的面向方面状态图形式化描述方法研究
7.
Research on the Formal Description of Emergency Plans;
突发事件应急预案形式化描述方法研究
8.
Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition
软件体系结构获取过程的形式化描述方法比较
9.
Research of Formalization Description Methods of Interlock Software in Railway Signal System;
铁路信号系统中联锁软件形式化描述方法的研究
10.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
11.
Test cases generation based on formal specification
一种基于形式化描述的测试案例生成方法
12.
Research on the Formal Method of Description for the Flexible Component Composition and Its Application to the Water Resources Domain;
构件柔性组装描述的形式化方法研究及其在水利领域的应用
13.
Research on the Transformation Method of the Conceptual Model Description Format of Equipment Demonstration Simulation
装备论证仿真概念模型描述形式转换方法研究
14.
To use square graph to describe the structure of the machine.
用方块图形式来描述机器的结构。
15.
Biological procesdures cannot be expressed in mathermatical formulae.
物理形成的过程无法用数学公式描述。
16.
Beside this,the formalization based on OWL+Dublin Core is provided.
给出基于OWL+Dub lin Core的形式化描述;
17.
Formal Description of Command and Control Relationships;
C2组织指挥控制关系的形式化描述
18.
Study on Frame Description of RDF;
资源描述框架的形式化表示问题研究