计算机工程与应用2001，Vol.37Issue(23)：111-113,116,4.
基于UML的嵌入式系统模型验证机制的研究
Research on Verification for UML-Based Model of Embedded System
摘要
关键词
嵌入式系统UML可执行UML模型验证分类
信息技术与安全科学引用本文复制引用
石柯,阳富民,胡贯荣..基于UML的嵌入式系统模型验证机制的研究[J].计算机工程与应用,2001,37(23):111-113,116,4.基金项目
华为科技基金资助项目 （）
