计算机工程与应用2005，Vol.41Issue(23)：47-50,66,5.
基于CCS的软件规范描述及实例研究
Software Specification Description and Analysis of Instance Based on CCS
摘要
关键词
CCS/软件规范/进程迁移图/强互模拟分类
信息技术与安全科学引用本文复制引用
高春鸣,黄园媛,陈火旺..基于CCS的软件规范描述及实例研究[J].计算机工程与应用,2005,41(23):47-50,66,5.基金项目
湖南省自然科学基金项目(编号:03JJY6023) （编号:03JJY6023）
