中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共4条,第1-4条 帮助

条数/页: 排序方式:
安全攸关嵌入式系统代码自动生成技术研究 学位论文  OAI收割
博士, 北京: 中国科学院大学, 2018
作者:  
严高高
  |  收藏  |  浏览/下载:17/0  |  提交时间:2018/06/13
物联网软件体系结构中的感执模型的求精 期刊论文  OAI收割
软件学报, 2014, 卷号: 25.0, 期号: 008, 页码: 1659
作者:  
谢开斌;  陈海明;  崔莉
  |  收藏  |  浏览/下载:0/0  |  提交时间:2023/12/04
CTCS-3级列车运行控制系统的形式建模 学位论文  OAI收割
硕士, 北京: 中国科学院研究生院, 2012
权曌
  |  收藏  |  浏览/下载:25/0  |  提交时间:2012/05/31
基于广义污点传播模型的操作系统访问控制 期刊论文  OAI收割
软件学报, 2012, 卷号: 23.0, 期号: 006, 页码: 1602
作者:  
杨智;  殷丽华;  段洣毅;  吴金宇;  金舒原
  |  收藏  |  浏览/下载:2/0  |  提交时间:2023/12/04