Journal of Changshu Institute of Technology2008,Vol.22Issue(10):104-107,112,5.
形式化B方法数学基础的实例研究
The Specified Example Research of Mathematic Basis of Formal B Method
陈宇 1邹盛荣 1阳雪平1
作者信息
- 1. 扬州大学,信息工程学院,江苏,扬州,225009
- 折叠
摘要
关键词
形式化方法/B方法/体液免疫分类
信息技术与安全科学引用本文复制引用
陈宇,邹盛荣,阳雪平..形式化B方法数学基础的实例研究[J].Journal of Changshu Institute of Technology,2008,22(10):104-107,112,5.