机构

• 软件研究所 [10]
• 武汉岩土力学研究所 [1]

采集方式

• OAI收割 [11]

内容类型

• 期刊论文 [8]
• 学位论文 [2]
• 会议论文 [1]

发表日期

• 2019 [1]
• 2018 [1]
• 2014 [1]
• 2009 [1]
• 2008 [2]
• 2007 [2]
• 更多

学科主题

• 自动控制技术 [1]
• 自动控制技术::自动... [1]
• 计算机科学技术::计... [1]
• 计算机科学技术基础学... [1]
• 计算机软件::计算机... [1]
• 计算机软件::软件理... [1]
• 更多

筛选

浏览/检索结果: 共11条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 时滞动态系统的形式验证与控制生成 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2019 作者:  陈明帅   |  收藏  |   隧道锚抗拔承载力及安全性评估方法 期刊论文  OAI收割 中国公路学报, 2018, 卷号: 31.0, 期号: 009, 页码: 95 作者:  王东英;  汤华;  尹小涛;  秦雨樵;  邓琴   |  收藏  |   基于不变式的混成系统分析、验证和设计方法研究 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2014 赵恒军   |  收藏  |   参数化系统安全性的启发式符号验证 期刊论文  OAI收割 软件学报, 2009, 卷号: 20, 期号: 6, 页码: 1444-1456 杨秋松; 李明树   |  收藏  |   基于贝叶斯网络的脆弱性状态评估方法 期刊论文  OAI收割 中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 639-648 陈思思; 连一峰; 贾炜   |  收藏  |   一种通过应用程序验证TPM标准符合性的方法 期刊论文  OAI收割 中国科学院研究生院学报, 2008, 卷号: 25, 期号: 5, 页码: 649-656 崔奇; 石文昌   |  收藏  |   基于DTE策略的安全域隔离Z形式模型 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 11, 页码: 1881-1888 卿斯汉; 李丽萍; 何建波; 沈晴霓   |  收藏  |   一种面向网格计算的分布式匿名协作算法 会议论文  OAI收割 2007全国理论计算机科学学术年会, 南宁, 2007 石志国; 贺也平; 淮晓永; 张宏   |  收藏  |   对一类多级安全模型安全性的形式化分析 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超   |  收藏  |   基于SPIN/Promela的并发系统验证 期刊论文  OAI收割 计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云   |  收藏  |