- Category:
- Graph program
- Platform:
- C/C++
- File Size:
- 2011136
- Update:
- 2021-02-19
- Downloads:
- 0
- Uploaded by:
- seemore
Description: presents a method which combines the concept formation and the antecedent derivation mechanism to accomplish the automatic transformation from the example specification to the formal functional specification and the plausibility of the generated formal specification is guaranteed in some sens
To Search:
File list (Click to check if it's the file you need, and recomment it at the bottom):
| 文件名 | 大小 | 更新时间 |
|---|
| SciSmart智能视觉软件.pdf | 2051969 | 2021-02-04 |
Download