机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 会议论文 [2]
• 期刊论文 [1]

发表日期

• 2006 [2]
• 2003 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 ltl model checking via search space partition 会议论文  OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui   |  收藏  |  浏览/下载：27/0  |  提交时间：2011/07/28 LTL model checking  complexity reduction  compositional verification  memory requirement  nondeterministic choice  search space partition  state space explosion  computational complexity  formal verification  search problems   ltl model checking via search space partition 会议论文  OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui   |  收藏  |  浏览/下载：22/0  |  提交时间：2011/07/28 LTL model checking  complexity reduction  compositional verification  memory requirement  nondeterministic choice  search space partition  state space explosion  computational complexity  formal verification  search problems   模型检测新技术研究 期刊论文  OAI收割 计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104 戎玫; 张广泉   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/29 Model checking  State explosion  Symbolic model checking  positional reasoning  Real-time system  Hybrid system  模型  检测  新技术研究  model checking  mathematical methods  concurrent system  hybrid systems  state space