计算机技术与发展2007，Vol.17Issue(7)：28-30,34,4.
基于B方法的组件开发
An Approach of Component Development with B Method
高丽萍 1褚伟2
作者信息
- 1. 合肥工业大学,计算机与信息学院,安徽,合肥,230009
- 2. 合肥工业大学,网络研究所,安徽,合肥,230009
- 折叠
摘要
关键词
形式化方法/B方法/组件分类
信息技术与安全科学引用本文复制引用
高丽萍,褚伟..基于B方法的组件开发[J].计算机技术与发展,2007,17(7):28-30,34,4.基金项目
国家自然科学基金项目(70471046) （70471046）
