机电产品的可验证设计系统及其实现框架

范守文，熊静琪，邵旭光，黄洪钟，胡天友

Verifiable design system & its implementation framework for electro-mechanical products

FAN Show-wen， XIONG Jing-qi， SHAO Xu-guang， HUANG Hong-zhong， HU Tian-you

. 2010, (06): 0 -0 .