共查询到20条相似文献,搜索用时 15 毫秒
1.
2.
3.
4.
5.
6.
This special section is devoted to a selection of journal versions of papers that appeared originally in the Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), which took place in Grenoble, France in April 2002 as a constituent event of the European joint conferences on Theory and Practice of Software (ETAPS). All papers are relevant to the field of systems validation. The first three papers advance and extend model-checking techniques, the fourth presents algorithms for run-time verification, and the last paper is about animation and test generation for formal system specifications. 相似文献
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
《计算机辅助绘图.设计与制造(英文版)》2006,16(2):95-96
Number 1 Intelligent Setting and Optimization of Process Parameters for Plastic Injection Molding ………………………………………………FENG Wei, ZHOU Hua-min, CUI Shu-biao, LI De-qun (1) Numerical Simulation of Residual Stress in Injection Molding ……………………………………………………………XI Guo-dong, ZHOU Hua-min, LI De-qun (17) 3D Layout Algorithm for Laying Rectangular Tiles on Ship Hull …………………………………………………………………CHEN Zhi-biao, ZHAO Yao, YA… 相似文献