CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
收藏  |  浏览/下载：192/0  |  提交时间：2019/07/03
Complete Proof Systems for Amortised Probabilistic Bisimulations 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 2, 页码: 300-316
Xu, LL; Lin, HM
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文
MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/13
A refinement calculus for hybrid systems 会议论文
2014 19th International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, August 4, 2014 - August 7, 2014
Gu, Bin (1); Zou, Liang (2)
收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16
Super-dense computation in verification of hybrid CSP processes 会议论文
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
Polymorphic functions with set-theoretic types - Part 1: Syntax, semantics, and evaluation 会议论文
41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2014, San Diego, CA, United states, January 22, 2014 - January 24, 2014
Castagna, Giuseppe (1); Nguyen, Kim (2); Xu, Zhiwu (1); Im, Hyeonseung (2); Lenglet, Sergueï; (4); Padovani, Luca (5)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Automated proof for authorization protocols of TPM 2.0 in computational model 会议论文
10th International Conference on Information Security Practice and Experience, ISPEC 2014, Fuzhou, China, May 5, 2014 - May 8, 2014
Wang, Weijin (1); Qin, Yu (1); Feng, Dengguo (1)
收藏  |  浏览/下载：17/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
a model of large-scale device collaboration system based on pi-calculus for green communication 期刊论文
Telecommunication Systems, 2013, 页码: 1-14
Deng Pan; Zhang Jianwei; Rong Xiaohui; Chen Feng
收藏  |  浏览/下载：25/0  |  提交时间：2013/09/17
不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏  |  浏览/下载：22/0  |  提交时间：2012/07/06

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