现代电力2003，Vol.20Issue(5)：65-69,5.
形式规范语言数据求精过程的代数验证方法
Algebraic Verification Method of Data Refinement in Formal Specification Language
王帆 1梁洪峻 1李潮2
作者信息
- 1. 天津大学计算机系,天津,300020
- 2. 华北电力大学(北京)图书馆,北京,102206
- 折叠
摘要
关键词
代数验证方法/规范语言/数据求精分类
信息技术与安全科学引用本文复制引用
王帆,梁洪峻,李潮..形式规范语言数据求精过程的代数验证方法[J].现代电力,2003,20(5):65-69,5.
