1.
Formal Description and Verification of 2PCP Based on Asynchronous π-calculus;
基于异步π-演算的两阶段提交协议的形式化描述和验证
2.
Formal Description and Verification of SoC Based on Projection Temporal Logic;
基于投影时序逻辑的片上系统形式化描述和验证
3.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
4.
Formal description and verification of improved authentication protocol
改进身份认证协议的形式化描述与验证
5.
Formal Description and Verification of TCP Protocol Based on Colored Petri Net
基于着色Petri网的TCP协议的形式化描述及验证
6.
FORMAL DESCRIPTION OF AN AUTHENTICATION SYSTEM OF USER'S STATUS
一种用户身份认证系统的形式化描述
7.
A Formal Description and Security Analysis of a Digital Signature System
对电子签名系统的形式化描述和安全性分析
8.
Research of Protocols Formal Description Technology Based on CSP and RSL
基于CSP和RSL的协议形式化描述技术研究
9.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
10.
Logic and behavior validation of C~4ISR architecture description;
C~4ISR体系结构描述的逻辑和行为验证
11.
Dynamic-Language Based System Description, Verification, and Synthesis
基于动态语言的系统描述、验证和综合
12.
Beside this,the formalization based on OWL+Dublin Core is provided.
给出基于OWL+Dub lin Core的形式化描述;
13.
Formal Description of Command and Control Relationships;
C2组织指挥控制关系的形式化描述
14.
Study on Frame Description of RDF;
资源描述框架的形式化表示问题研究
15.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
16.
A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法
17.
Research on Resource Formal Description in Navy Grid Environment
海上信息栅格资源形式化描述的研究
18.
Approach to Formal Description of Cryptographic Protocols Based on XML
基于XML的安全协议形式化描述方法