CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
收藏  |  浏览/下载：194/0  |  提交时间：2019/07/03
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
Fractional control of stabilized platform for photoelectric gyro 期刊论文
Guangxue Jingmi Gongcheng/Optics and Precision Engineering, 2014, 卷号: 22, 期号: 2, 页码: 383-389
Ding C.; Dai M.; Li J.-Q.; Mao D.-P.; Gai Z.-Q.; Liu Z.-Y.
收藏  |  浏览/下载：16/0  |  提交时间：2015/04/24
a complete symbolic bisimulation for full applied pi calculus 期刊论文
Theoretical Computer Science, 2012, 卷号: 458, 页码: 76-112
Liu Jia; Lin Huimin
收藏  |  浏览/下载：9/0  |  提交时间：2012/11/12
formal analysis of trusted platform module commands for compromising user key 期刊论文
CHINA COMMUNICATIONS, 2012, 卷号: 9, 期号: 10, 页码: 91-102
Qin Yu; Zhao Shijun; Zhang Qianying
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/17
2 pi-periodic self-similar solutions for the anisotropic affine curve shortening problem 其他
2011-01-01
Jiang, Meiyue; Wang, Liping; Wei, Juncheng
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/10
Collaboration business processes modeling based on Petri nets and Pi calculus 会议论文
IMECS 2007: International Multiconference of Engineers and Computer Scientists, Vols I and II, International Multiconference of Engineers and Computer Scientists, Kowloon, PEOPLES R CHINA, Web of Science, INSPEC
Xu, Fei; Zhang, Li
收藏  |  浏览/下载：1/0
Pi calculus-based bitransformation of state-driven model and flow-driven model 期刊论文
2010, 2010
Ke Xu; Ying Liu; Jun Zhu; Cheng Wu
收藏  |  浏览/下载：4/0
a complete symbolic bisimulation for full applied pi calculus 会议论文
36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlyn, CZECH REPUBLIC, JAN 23-29,
Liu Jia; Lin Huimin
收藏  |  浏览/下载：11/0  |  提交时间：2011/03/31
verifying anonymous credential systems in applied pi calculus 会议论文
8th International Conference on Cryptology and Network Security, CANS 2009, Kanazawa, Japan, 40878
Li Xiangxi; Zhang Yu; Deng Yuxin
收藏  |  浏览/下载：13/0  |  提交时间：2011/03/20

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