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 组件与对象用形式方法