成都大学学报（自然科学版）2009，Vol.28Issue(4)：326-328,3.
基于动态体系结构的形式化描述
Formal Specification Based on a Dynamic Architecture
陈国彬 1金鹏 1赖敏1
作者信息
- 1. 重庆师范大学,数学与计算机学院,重庆,400047
- 折叠
摘要
关键词
动态演化/动态体系/Z体系分类
信息技术与安全科学引用本文复制引用
陈国彬,金鹏,赖敏..基于动态体系结构的形式化描述[J].成都大学学报（自然科学版）,2009,28(4):326-328,3.
