机构

• 软件研究所 [16]
• 长春光学精密机械与物... [2]
• 地理科学与资源研究所 [1]
• 数学与系统科学研究院 [1]
• 自动化研究所 [1]

采集方式

• OAI收割 [21]

内容类型

• 期刊论文 [11]
• 会议论文 [9]
• SCI/SSCI论文 [1]

发表日期

• 2024 [1]
• 2018 [1]
• 2015 [1]
• 2013 [2]
• 2012 [1]
• 2011 [3]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]

筛选

浏览/检索结果: 共21条，第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   |  收藏  |   Estimating the volume of the solution space of SMT(LIA) constraints by a flat histogram method 期刊论文  OAI收割 Algorithms, 2018, 卷号: 11, 期号: 9 作者:  Gao, Wei;  Lv, Hengyi;  Zhang, Qiang;  Cai, Dunbo   |  收藏  |   An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文  OAI收割 MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304 Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS   |  收藏  |   model checking conditional csl for continuous-time markov chains 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun   |  收藏  |   A tighter bound for the self-stabilization time in Herman's algorithm 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 13, 页码: 486-488 Feng, Yuan (1); Zhang, Lijun (2)   |  收藏  |   research on automated sorting algorithms generation based on par 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2012, 卷号: 23, 期号: 9, 页码: 2248-2260 Shi Hai-He; Xue Jin-Yun   |  收藏  |   model checking security policy model using both uml static and dynamic diagrams 会议论文  OAI收割 4th International Conference on Security of Information and Networks, SIN 2011, Sydney, NSW, Australia, November 1 Cheng Liang; Zhang Yang   |  收藏  |   a graph-based implementation for mechanized refinement calculus of oo programs 会议论文  OAI收割 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, 8-Nov Liu Zhiming; Morisset Charles; Wang Shuling   |  收藏  |   Advances in the study of uncertainty quantification of large-scale hydrological modeling system SCI/SSCI论文  OAI收割 2011 作者:  Xia J. 收藏  |   a method for modeling aspect-oriented dynamic software architecture 会议论文  OAI收割 5th International Conference on Computer Science and Education, ICCSE 2010, Hefei, China, August 24, Wang Ling; Zhang Guangquan; Zhu Jihan; Wu Jianfeng   |  收藏  |