1.
Research on Formal Methods for Safe Software Architecture;
安全软件体系结构的形式化方法研究
2.
Study on Formal Method in UML Sequence Diagram and Statechart;
UML顺序图和状态图的形式化方法研究
3.
Study and Application of SIP Using Formal Method;
基于形式化方法的SIP研究与应用
4.
Formal Method Integrating B Method and Time Petri Nets;
基于B语言与TPN集成的形式化方法
5.
Formalization Method for UML Class Diagram Based on SHOIN(D)
基于SHOIN(D)的UML类图形式化方法
6.
Formal method of correspondence between man and universe in TCM theoretical modeling
中医理论建模的天人相应形式化方法
7.
The Stduy of Formal Description of Chinese Character Glyph and Application
汉字字形形式化描述方法及应用研究
8.
The Formal Representation of Joint Campaign Decision;
联合战役决心方案的形式化表示方法
9.
change from one form or medium into another.
从一种形式或方法转化成另一种。
10.
The Research on Methods of Formal Software Developing Based on Petri Nets;
基于Petri网的形式化软件开发方法研究
11.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
12.
Researching of the Formal Method Based Fuzzy Math;
基于模糊数学的形式化开发方法研究
13.
Research and Application on Verification Technology of Formal B Method;
形式化B方法验证技术研究及其应用
14.
The Formal Analysis Methods of Wireless Network Security Protocol;
无线网络安全协议的形式化分析方法
15.
Optimize of Designing the Comb Capacitor Sensor;
梳齿形电容式传感器最优化设计方法
16.
The Research on B Formal Specification of UML Use Case Model
UML用例模型的B形式化描述方法研究
17.
The Formal Modelling Method for Real-time Concurrent System
实时并发系统的形式化建模方法研究
18.
A Formal Description of Traffic Signal Based on LTL
基于LTL的交通灯系统形式化描述方法