formal methods的意思|示意

美 / / 英 / /

形式化方法

formal methods相关短语

1、 formal methods model 方法模型,形式方法模型,形式化方法模型

2、 Theory and formal methods 理论与形式化方法

3、 Formal Methods and Verification 形式化方法与验证

4、 Formal Methods and Tools 正式的方法和工具,形式化方法和工具

5、 Integrated Formal Methods 集成形式化方法

6、 Teaching Formal Methods 形式方法教学

7、 Formal Methods in System Design 系统设计的形式方法

8、 Formal Methods for Components 组件与对象用形式方法

formal methods相关例句

A protocol testing theory is presented based on formal methods.

利用形式化方法构建了协议测试理论.

互联网

Improving the scalability and speed of Formal Methods becomes hot spot in worldwide research.

提高形式验证的验证规模和速度成为国际研究的热点.

互联网