| 1. | Formal models of uml statechart diagrams based on petri nets
状态图的形式化模型 |
| 2. | A nominalized model for object - oriented environment
一种面向对象环境的形式化模型 |
| 3. | Formalizing pki interoperability trust models with trust logic
互通信任模型形式化 |
| 4. | A new model for analyzing security protocols formally
一种形式化分析安全协议的新模型 |
| 5. | The formal representation of joint campaign decision
联合战役决心方案的形式化表示方法 |
| 6. | Negative reflection on the formalization of legal logic
对法律逻辑学形式化定位的否定性思考 |
| 7. | Description of topological relation within fuzzy region in gis
中模糊区域拓扑关系形式化描述 |
| 8. | At each step , the model is refined and made more formal
每一步中模型都进一步精化，更加形式化。 |
| 9. | Deep analysis on formalization of subject librarian system
学科馆员制度走向形式化的深层原因分析 |
| 10. | Uml ; statechart ; raise ; formalization
Uml状态机raise形式化 |
