CORC

在结果中检索

CORC

浏览/检索结果: 共14条，第1-10条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
大数据背景下集群取样调度关键技术研究 学位论文
博士, 北京: 中国科学院大学, 2017
作者:  郝春亮
收藏  |  浏览/下载：18/0  |  提交时间：2017/07/08
一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  时雨霖
收藏  |  浏览/下载：19/0  |  提交时间：2017/07/08
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
Transient Reward Approximation for Continuous-Time Markov Chains 期刊论文
IEEE TRANSACTIONS ON RELIABILITY, 2015, 卷号: 64, 期号: 4, 页码: 1254-1275
Hahn, EM; Hermanns, H; Wimmer, R; Becker, B
收藏  |  浏览/下载：21/0  |  提交时间：2016/12/13
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：19/0  |  提交时间：2014/06/06
BISIMULATIONS MEET PCTL EQUIVALENCES FOR PROBABILISTIC AUTOMATA 期刊论文
LOGICAL METHODS IN COMPUTER SCIENCE, 2013, 卷号: 9, 期号: 2
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
基于Verds的C语言子集的模型检测方法 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 19-25,18
张兰兰
收藏  |  浏览/下载：6/0  |  提交时间：2014/12/16
on hierarchically developing reactive systems 期刊论文
INFORMATION AND COMPUTATION, 2010, 卷号: 208, 期号: 9, 页码: 997-1019
Zhan Naijun; Majster-Cederbaum Mila
收藏  |  浏览/下载：7/0  |  提交时间：2011/05/24
具有严格操作语义的图形化软件过程建模研究 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
杨秋松
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/17
基于词汇链与文本切分的更新型多文档摘要技术研究 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2008
李靖
收藏  |  浏览/下载：16/0  |  提交时间：2011/03/17

©版权所有 ©2017 CSpace - Powered by CSpace