| 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中间层驱动程序实现了协议。 |
