the formal methods中文,the formal methods的意思,the formal methods翻译及用法

2025-09-09 13:26 浏览次数 8

the formal methods

公式法

the formal methods 例句

英汉例句

  • The fundamental basis of our observation is that: the formal methods designed for optimizing compilers assume that the compiler and the programmer are Allies.

    我们观察问题的基本角度是:为最优化编译器设计的形式方法它假定编译器和程序设计者是盟友。

  • And then the formal methods are adopted in the manufacturing systems, which translate the simulation model into a format suitable for model checking.

    对制造系统采用形式化的建模方法,将建立的模型转换成适合进行模型检查的形式。

相关热词