- formalized
- 的: 4次方是 The fourth power of 2 i ...
- 形式化的能力问题: formal competency questions
- 非形式化的能力问题: informal competency questions
- 形式化: formalise; formalisierung; formalization; formalize
- 形式化的面向对象开发方法: fmoo
下载手机词典可随时随地查词查翻译
形式化的的英文
- formalized
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 上一页 下一页
- By contrast , the formal types can ensure that the design can be repeated for many deliverables
相反，形式化的类型可以保证多种交付品中重复使用设计。 - In this paper , cycle system is defined formally , and some properties are got about cycle - system
本文通过形式化的对循环系统定义、性质的研究，得出了一些结果。 - In this paper wk logic which is a logic of belief is used to formal analysis the security of ikev2
论文中使用一种形式化的方法? ? wk逻辑对ikev2协议的安全性进行分析。 - The paper adopts bnf to express the logic expressions , providing a good formalization method
论文采用了巴科斯范式来表示逻辑表达式，为其提供了一个很好的形式化的表达方式。 - Simultaneously , we prove this protocol by formalized method and implement this protocol using ndis intermediate drivers
同时,用形式化的方法验证了协议,并编写ndis中间层驱动程序实现了协议。