计算机工程2006，Vol.32Issue(3)：19-21,3.
基于EHA模型检验Statecharts
Model Checking Statecharts Based on EHA
摘要
关键词
模型检验/Statecharts/EHA/操作语义分类
信息技术与安全科学引用本文复制引用
钱俊彦,古天龙,赵岭忠..基于EHA模型检验Statecharts[J].计算机工程,2006,32(3):19-21,3.基金项目
"十五"国防预研基金资助项目 （）
广西自然科学基金资助项目(0141046) （0141046）
