|
论文《面向参数化系统验证的自动抽象方法》发表于第十七届全国计算机辅助设计与图形学学术会议(CAD_CG’ 2012)暨第九届全国智能CAD与数字娱乐学术会议(CID’ 2012)。该文提出一种针对参数化系统的自动抽象方法，旨在提高系统验证的效率与准确性。通过引入自动化技术，对复杂系统进行简化建模，从而降低验证难度，提升验证过程的可操作性。研究对于提高软件和硬件系统的可靠性具有重要意义。 文档为pdf格式，0.27MB，总共4页。
- 文件大小:
- 276.48 KB
- 下载次数:
- 60
- 面向参数化系统验证的自动抽象方法 - 第十七届全国计算机辅助设计与图形学学术会议(CAD_CG’ 2012)暨第九届 ...
-
高速下载
| 
