计算机与数字工程2008，Vol.36Issue(10)：63-69,7.
基于进程代数的软件动态演化模型初探
Toward a Process Algebra Based Software Dynamic Evolution Model
摘要
关键词
动态演化/进程代数/CCS/模型检验分类
信息技术与安全科学引用本文复制引用
张凌浩,马晓星..基于进程代数的软件动态演化模型初探[J].计算机与数字工程,2008,36(10):63-69,7.基金项目
863计划(编号:2006AA012159)项目 （编号:2006AA012159）
江苏省自然科学基金(编号:BK2006712) （编号:BK2006712）
江苏省六大人才高峰项目资助. （）
