电子学报2002，Vol.30Issue(12A)：P.2083-2089,7.
UML Statecharts的切片模型检验方法
摘要
关键词
UML/Statecharts/切片/模型检验/统一建模语言分类
信息技术与安全科学引用本文复制引用
董威,王戟,齐治昌..UML Statecharts的切片模型检验方法[J].电子学报,2002,30(12A):P.2083-2089,7.基金项目
国家自然科学基金(No.6997305l （）
No.90104007) （）
国家863项目(No.2001AA113202) （No.2001AA113202）
霍英东青年教师基金(No.71064) （No.71064）
