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