中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共3条，第1-3条

帮助

条数/页：排序方式：
	Radl 形式规格说明相对正确性研究期刊论文 OAI收割 Journal of Software, 2013, 卷号: 24, 期号: 4 Wang Changjing; Xue Jinyun \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2013/09/17 形式规格说明相对正确性确认扩展的逻辑系统辅助证明算法
	Radl形式规格说明相对正确性研究期刊论文 OAI收割软件学报, 2013, 卷号: 24, 期号: 4, 页码: 715-729 王昌晶; 薛锦云 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2013/09/17 形式规格说明相对正确性确认扩展的逻辑系统辅助证明算法
	SRL→Radl生成系统及其相关理论研究学位论文 OAI收割博士, 北京: 中国科学院研究生院, 2010 王昌晶 \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2012/06/20 结构化需求语言形式化软件规约生成系统范畴论规约相对正确性