CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
一种基于组件的信息物理系统描述语言 学位论文
硕士, 北京: 中国科学院大学, 2017
作者:  时雨霖
收藏  |  浏览/下载：21/0  |  提交时间：2017/07/08
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
收藏  |  浏览/下载：16/0  |  提交时间：2016/12/13
一种模型驱动的可视化生成系统 期刊论文
软件学报, 2016, 卷号: 27, 期号: 5, 页码: 1199-1211
杜一; 郭旦怀; 陈昕; 任磊; 戴国忠
收藏  |  浏览/下载：23/0  |  提交时间：2016/12/09
Using simulation to evaluate error detection strategies: A case study of cloud-based deployment processes 期刊论文
JOURNAL OF SYSTEMS AND SOFTWARE, 2015, 卷号: 110, 页码: 205-221
Chen, J; Xu, XW; Osterweil, LJ; Zhu, LM; Brun, Y; Bass, L; Xiao, JC; Li, MS; Wang, Q
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/13
SRLtoRadl生成系统及其范畴论语义 期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶; 薛锦云; 左正康
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
A temporal programming model with atomic blocks based on projection temporal logic 期刊论文
Frontiers of Computer Science, 2014
Yang, Xiaoxiao (1); Zhang, Y. (1); Fu, Ming (2); Feng, Xinyu (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
带时间和资源约束的实例化过程模型验证方法 期刊论文
计算机系统应用, 2014, 期号: 10, 页码: 172-177
李伟亨; 谢淼; 翟健; 杨秋松
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
一种基于UML的网络安全体系建模分析方法 期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 7, 页码: 1578-1593
布宁; 刘玉岭; 连一峰; 黄亮
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16
Handwritten Chinese/Japanese Text Recognition Using Semi-Markov Conditional Random Fields 期刊论文
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2013, 卷号: 35, 期号: 10, 页码: 2413-2426
Zhou, Xiang-Dong; Wang, Da-Han; Tian, Feng; Liu, Cheng-Lin; Nakagawa, Masaki
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
The buffered π-calculus: A model for concurrent languages 会议论文
7th International Conference on Language and Automata Theory and Applications, LATA 2013, Bilbao, Spain, April 2, 2013 - April 5, 2013
Deng, Xiaojie (1); Zhang, Yu (2); Deng, Yuxin (1); Zhong, Farong (3)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16

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