机构

• 软件研究所 [11]
• 自动化研究所 [1]

采集方式

• OAI收割 [12]

内容类型

• 期刊论文 [6]
• 学位论文 [4]
• 会议论文 [2]

发表日期

• 2024 [1]
• 2016 [1]
• 2014 [1]
• 2013 [1]
• 2010 [2]
• 2007 [3]
• 更多

学科主题

• Computer S... [1]
• 计算机应用 [1]
• 计算机科学技术基础学... [1]
• 计算机科学技术基础学... [1]
• 计算机软件 [1]

筛选

浏览/检索结果: 共12条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Hierarchical Controller Synthesis Under Linear Temporal Logic Specifications Using Dynamic Quantization 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 10, 页码: 2082-2098 作者:  Wei Ren;  Zhuo-Rui Pan;  Weiguo Xia;  Xi-Ming Sun   |  收藏  |   以状态子集为中心的并行模型检测技术研究 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 张营飞   |  收藏  |   时间自动机模拟器CTAV-Simulator的设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2014 喻灵婧   |  收藏  |   具体反例生成与图形化显示系统 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 11, 页码: 51-57 信贤卫   |  收藏  |   带时间约束的LTL公式的模型检测技术及工具实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2010 部德振   |  收藏  |   对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |   Büchi自动机状态空间的化简 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2007 易锦 收藏  |   结合搜索空间划分和抽象进行LTL模型检测 期刊论文  OAI收割 中国科学E辑, 2007, 卷号: 37, 期号: 12, 页码: 1504-1520 蒲飞; 张文辉   |  收藏  |   一种WS-BPEL流程的运行时监控方法 期刊论文  OAI收割 电子学报, 2007, 卷号: 35, 期号: z2, 页码: 174-178 陈今梁; 吴国全; 魏峻   |  收藏  |   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   |  收藏  |