中国开放科研知识云: 检索

收藏 | 浏览/下载：16/0 | 提交时间：2016/12/09

认知无线电网络分布式协同感知协议形式化验证研究 学位论文
硕士, 北京: 中国科学院研究生院, 2012
刘金波

收藏 | 浏览/下载：17/0 | 提交时间：2012/05/31

认知无线电通信控制系统并发属性验证 学位论文
硕士, 北京: 中国科学院研究生院, 2012
范林林

收藏 | 浏览/下载：8/0 | 提交时间：2012/05/31

收藏 | 浏览/下载：12/0 | 提交时间：2013/09/17

收藏 | 浏览/下载：22/0 | 提交时间：2013/10/08

a three-level verification approach on wireless communication controller system 会议论文
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Fan Linlin; Liao Mingxue; He Xiaoxin

收藏 | 浏览/下载：10/0 | 提交时间：2013/10/08

model checking security policy model using both uml static and dynamic diagrams 会议论文
4th International Conference on Security of Information and Networks, SIN 2011, Sydney, NSW, Australia, November 1
Cheng Liang; Zhang Yang

收藏 | 浏览/下载：14/0 | 提交时间：2013/10/08

formal verification on distributed spectrum sensing protocol 会议论文
2011 International Conference on Computer Science and Network Technology, ICCSNT 2011, Harbin, China, December 24, 2011 - December 26, 2011
Liu Jin-Bo; Liao Ming-Xue; Hu Xiao-Hui; He Xiao-Xin

收藏 | 浏览/下载：15/0 | 提交时间：2013/10/08

可信密码模块的模型检测分析 期刊论文
通信学报, 2010, 期号: 1, 页码: 59-64,72
陈小峰; 冯登国

收藏 | 浏览/下载：5/0 | 提交时间：2011/05/23

收藏 | 浏览/下载：14/0 | 提交时间：2011/03/31

在结果中检索