1.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
2.
Formal description and verification of improved authentication protocol
改进身份认证协议的形式化描述与验证
3.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
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.
Approach to Formal Description of Cryptographic Protocols Based on XML
基于XML的安全协议形式化描述方法
7.
A formal description method for P2P network models
P2P网络模型的形式化描述方法(英文)
8.
Formal Description and Verification of TCP Protocol Based on Colored Petri Net
基于着色Petri网的TCP协议的形式化描述及验证
9.
A Survey on the Methodology Integrating Formal Verification and Conformance Testing
软件形式验证与测试集成方法研究综述
10.
Research on the Transformation Method of the Conceptual Model Description Format of Equipment Demonstration Simulation
装备论证仿真概念模型描述形式转换方法研究
11.
The Research on Formal Description Method for Aspect-oriented Statechart Based on CSP;
基于csp的面向方面状态图形式化描述方法研究
12.
Research on the Formal Description of Emergency Plans;
突发事件应急预案形式化描述方法研究
13.
Comparison of Formal Description Methods for Procedure of Software Architecture Acquisition
软件体系结构获取过程的形式化描述方法比较
14.
Test cases generation based on formal specification
一种基于形式化描述的测试案例生成方法
15.
FORMAL DESCRIPTION OF AN AUTHENTICATION SYSTEM OF USER'S STATUS
一种用户身份认证系统的形式化描述
16.
Formal Description and Verification of 2PCP Based on Asynchronous π-calculus;
基于异步π-演算的两阶段提交协议的形式化描述和验证
17.
Formal Description and Verification of SoC Based on Projection Temporal Logic;
基于投影时序逻辑的片上系统形式化描述和验证
18.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法