机构

• 软件研究所 [13]
• 数学与系统科学研究院 [3]
• 自动化研究所 [1]

采集方式

• OAI收割 [17]

内容类型

• 期刊论文 [9]
• 会议论文 [7]
• 学位论文 [1]

发表日期

• 2016 [3]
• 2014 [1]
• 2010 [2]
• 2008 [1]
• 2006 [6]
• 2005 [1]
• 更多

学科主题

• Artificial... [3]
• Computer S... [3]

筛选

浏览/检索结果: 共17条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 卷号: 61, 期号: 9, 页码: 2733-2738 作者:  Zhang, Kuize;  Zhang, Lijun   |  收藏  |   Finite automata approach to observability of switched Boolean control networks 期刊论文  OAI收割 NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197 作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua   |  收藏  |   A WEIGHTED PAIR GRAPH REPRESENTATION FOR RECONSTRUCTIBILITY OF BOOLEAN CONTROL NETWORKS 期刊论文  OAI收割 SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2016, 卷号: 54, 期号: 6, 页码: 3040-3060 作者:  Zhang, Kuize;  Zhang, Lijun;  Su, Rong   |  收藏  |   SRLtoRadl生成系统及其范畴论语义 期刊论文  OAI收割 电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143 王昌晶; 薛锦云; 左正康   |  收藏  |   a memory model for static analysis of c programs 会议论文  OAI收割 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834 Xu Zhongxing; Kremenek Ted; Zhang Jian   |  收藏  |   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |   a mechanical approach for deriving algorithmic programs 会议论文  OAI收割 7th IEEE/ACIS International Conference on Computer and Information Science in Conjunction with 2nd IEEE/ACIS International Workshop on e-Activity, Portland, OR, MAY 14-16, Shi Haihe; Xue Jinyun; Du Dawei   |  收藏  |   distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu   |  收藏  |   distinguishing between automatic and manual aspects of model driven development 会议论文  OAI收割 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, Potsdam, GERMANY, MAR 27-30, Duan Yucong; Gu Yuqing; Cheung S. C.; Fu Xiaolan; Wang Jing; Hu Qingwu   |  收藏  |   facilitating formal specification acquisition by using recursive functions on context-free languages 期刊论文  OAI收割 KNOWLEDGE-BASED SYSTEMS, 2006, 卷号: 19, 期号: 2, 页码: 141-151 Chen HM; Dong YM   |  收藏  |