机构

• 软件研究所 [2]

采集方式

• OAI收割 [2]

内容类型

• 学位论文 [1]
• 期刊论文 [1]

发表日期

• 1998 [1]
• 1994 [1]

学科主题

筛选

浏览/检索结果: 共2条，第1-2条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 XYZ中的反应型系统的描述和验证 学位论文  OAI收割 博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 沈伟 收藏  |  浏览/下载：20/0  |  提交时间：2011/03/17 XYZ系统  反应型系统  Hoare逻辑  逐步求精  前断言  后断言  通讯  通道  握手   一种面向软件工程的时序逻辑语言 期刊论文  OAI收割 软件学报, 1994, 卷号: 5, 期号: 12, 页码: 1 唐稚松; 赵琛   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/25 时序逻辑语言  一阶逻辑  描述  验证  证明规则  Hoare逻辑