1.
Research on Application of Formal Method to Reverse Engineering;
形式化技术在逆向工程中的应用研究
2.
APPLYING THE FORMAL TECHNIQUE OF INTEGRATED TPN AND B METHOD IN WEB SERVICE
TPN和B方法集成的形式化技术在Web Service中的应用
3.
Extentions to CSP and its application of formal technology of protocols
通信顺序进程的扩充及其在协议形式化技术中的应用
4.
Research and Application on Verification Technology of Formal B Method;
形式化B方法验证技术研究及其应用
5.
On the Formation of Science and Technology and Ecological Productive Form;
论科学技术与生态化生产方式的形成
6.
Bidding Road Show the Effective Way of Optimizing Technical Parameters
招标路演 优化技术参数的有效形式
7.
The Research and Implementation on the Formal Verification Technique of Security Protocol;
安全协议形式化验证技术的研究与实现
8.
Research on the Key Technologies of Formal Design for Product Scheme;
面向产品方案的形式化设计关键技术研究
9.
The Formal Analysis and Control to Security Protocol of Telecommunication for Electric Power System;
电力系统安全协议形式化分析技术研究
10.
Protocol Test Sequence Generation Based on Formal Specification;
基于形式化描述的协议测试序列生成技术
11.
Research on Formal Analysis of Electronic Commerce Security Protocol;
电子商务安全协议的形式化分析技术研究
12.
A formal development method based on B method and component;
一种基于B方法和构件技术的形式化开发方法
13.
Research on Key Technologies of Optimum Distributed Signal
分布式无线信号的波形优化关键技术研究
14.
Research on the Ecology Organization Form and Strategy Choices of High-tech Industry
高技术产业演化的生态组织形式及策略选择
15.
Formalized requirement analysis based on the component technology and method-B
基于构件技术和B方法的形式化需求分析
16.
Research of Protocols Formal Description Technology Based on CSP and RSL
基于CSP和RSL的协议形式化描述技术研究
17.
The research and application of HTAC on rotary reheating furnace
环形炉蓄热式数字化燃烧技术的研究与应用
18.
In excellent works and products, art and technique bring out the best in each other, and technique also transforms into aesthetic object as a part of art form.
成功的艺术作品和产品总是艺术与技术相得益彰,技术也外化为艺术的形式而成为审美对象。