计算机工程2005，Vol.31Issue(18)：19-21,24,4.
Statecharts的形式化验证研究
Formal Verification for Statecharts
摘要
关键词
Statecharts/抽象语法/操作语义/一步分类
信息技术与安全科学引用本文复制引用
钱俊彦,古天龙,赵岭忠..Statecharts的形式化验证研究[J].计算机工程,2005,31(18):19-21,24,4.基金项目
"十五"国防预研基金资助项目 （）
广西自然科学基金资助项目(0141046) （0141046）
