计算机工程与科学2008，Vol.30Issue(5)：41-43,83,4.
一种基于CSP的面向方面状态图形式化描述方法
A Formal Description Method for CSP-Based Aspect-Oriented Statecharts
摘要
关键词
编织/形式化语义/CSP/面向方面的状态图分类
信息技术与安全科学引用本文复制引用
王斌,刘菲,桂卫华,陈松乔..一种基于CSP的面向方面状态图形式化描述方法[J].计算机工程与科学,2008,30(5):41-43,83,4.基金项目
湖南省自然科学基金资助项目(05JJ40132) （05JJ40132）
中南大学理科发展基金资助项目 （）
中南大学博士后科学基金资助项目 （）
