中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
连续时间马尔科夫链模型上的模型检测算法研究与工具实现 [学位论文]
硕士, 北京: 中国科学院大学, 2013-05-27
高杨
  |  
 
CCMC: A conditional CSL model checker for continuous-time Markov chains [会议论文]
11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, Hanoi, Viet nam, October 15, 2013 - October 18, 2013
Gao, Yang (1); Hahn, Ernst Moritz (1); Zhan, Naijun (1); Zhang, Lijun (1)

 
model checking conditional csl for continuous-time markov chains [期刊论文]
Information Processing Letters, 2013-01-01, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun

 
a hybrid search engine framework for the internet of things based on spatial-temporal, value-based, and keyword-based conditions [会议论文]
2012 IEEE International Conference on Green Computing and Communications, GreenCom 2012, 2012 IEEE International Conference on Internet of Things, iThings 2012 and 5th IEEE International Conference on Cyber, Physical and Social Computing, CPSCom 2012, Besancon, France, November 20, 2012 - November 23, 2012
Ding Zhiming; Gao Xu; Guo Limin; Yang Qi

 
a hybrid search engine framework for the internet of things [会议论文]
9th Web Information Systems and Applications Conference, WISA 2012, Haikou, Hainan, China, November 16, 2012 - November 18, 2012
Ding Zhiming; Dai Jian; Gao Xu; Yang Qi

 
performance analysis of very-small-aperture lasers [期刊论文]
OPTICS LETTERS, 2005-01-01, 卷号: 30, 期号: 12, 页码: 1470-1472
Gan QQ; Song GF; Xu Y; Gao JX; Cao Q; Pan XJ; Zhong Y; Yang GH; Zhu XP; Chen LH
  |  
 

1

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace