Mobile
Log In Sign Up
Home > chinese-english > "形式化的" in English

English translation for "形式化的"

formalized

Related Translations:
形式化:  formaliseformalisierungformalizationformalize
形式化模型:  formalized model
使形式化:  formalize formalize
形式化算法:  formalized arithmetic
形式化阶段:  formalization stage
形式化测试:  formal testing
形式化方法:  formal methods
形式化规则:  formation rule
形式化索引:  fomalization index
形式化验证:  formal verification
Example Sentences:
1.Deep analysis on formalization of subject librarian system
学科馆员制度走向形式化的深层原因分析
2.A formal model of workflow net
一种形式化的工作流网模型
3.Equivalence partitioning is a much more formalized method of test case design
等价类划分是一个更加形式化的设计测试用例的方法。
4.Moreover , all imformation expressed by the page is stored in the tree
在解析过程中,通过形式化的描述方式,很好的达到容错和纠错效果。
5.Influential factors on formalization of human resource management in small and medium - sized business
影响中小企业人力资源管理形式化的因素
6.By contrast , the formal types can ensure that the design can be repeated for many deliverables
相反,形式化的类型可以保证多种交付品中重复使用设计。
7.In this paper , cycle system is defined formally , and some properties are got about cycle - system
本文通过形式化的对循环系统定义、性质的研究,得出了一些结果。
8.In this paper wk logic which is a logic of belief is used to formal analysis the security of ikev2
论文中使用一种形式化的方法? ? wk逻辑对ikev2协议的安全性进行分析。
9.The paper adopts bnf to express the logic expressions , providing a good formalization method
论文采用了巴科斯范式来表示逻辑表达式,为其提供了一个很好的形式化的表达方式。
10.Simultaneously , we prove this protocol by formalized method and implement this protocol using ndis intermediate drivers
同时,用形式化的方法验证了协议,并编写ndis中间层驱动程序实现了协议。
Similar Words:
"形式合格性检验" English translation, "形式合理性" English translation, "形式互惠" English translation, "形式化" English translation, "形式化测试" English translation, "形式化的面向对象开发方法" English translation, "形式化的能力问题" English translation, "形式化方法" English translation, "形式化高层规范" English translation, "形式化规则" English translation