CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Formal verification of RFID protocols using nuXmv 会议论文
Xiamen, China, September 23, 2016 - September 25, 2016
作者:  Yuan, Guanjie;  Long, Shigong
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/05
Formal Verification of RFID Protocols Using nuXmv 会议论文
Xiamen, PEOPLES R CHINA, SEP 23-25, 2016
作者:  Yuan, Guanjie;  Long, Shigong
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31
北京城市紫外辐射计算方法的研究 期刊论文
兰州大学学报(自然科学版), 2015, 卷号: 51, 期号: 3, 页码: 367-374
作者:  于立;  尚可政;  王式功;  李继祥;  刘慧
收藏  |  浏览/下载：3/0  |  提交时间：2017/03/31
北半球不同强度、生命期阻塞高压的变化特征及其对温度的影响 期刊论文
兰州大学学报(自然科学版), 2015, 卷号: 51, 期号: 5, 页码: 639-645,651
作者:  叶培龙;  李艳;  王式功;  汪栩加;  尚可政
收藏  |  浏览/下载：3/0  |  提交时间：2017/03/31
基于卫星资料的中国西部地区云垂直结构分析 期刊论文
高原气象, 2014, 卷号: 33, 期号: 4, 页码: 977-987
作者:  叶培龙;  王天河;  尚可政;  吕巧谊;  王式功
收藏  |  浏览/下载：5/0  |  提交时间：2016/07/18
标准化降水指数在新疆极端干旱事件中的应用 期刊论文
兰州大学学报(自然科学版), 2014, 卷号: 50, 期号: 4, 页码: 523-528
作者:  石彦军;  任余龙;  李耀辉;  王式功;  赵艳霞
收藏  |  浏览/下载：6/0  |  提交时间：2016/07/18
高空槽强度指数的构建及其定量化研究 期刊论文
干旱气象, 2014, 期号: 2, 页码: 169-174
作者:  张英华;  尚可政;  王式功;  李德帅
收藏  |  浏览/下载：7/0  |  提交时间：2016/07/18
Specifying Concurrent Program based on TLA 会议论文
Beijing, PEOPLES R CHINA, NOV 29-30, 2013
作者:  Chen Rui;  Long Shigong
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/05
Modeling the alternating-bit-protocol and verification of its properties 期刊论文
2014, 卷号: 10, 期号: 16, 页码: 6849-6857
作者:  Long, Shigong;  Liu, Honglin
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/02
Modelling Peterson Mutual Exclusion Algorithm in DVE language and verifying LTL properties 会议论文
Chinese Culture Univ, Taipei, TAIWAN, JUN 27-29, 2014
作者:  Long Shigong;  Yang Hanwen
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31

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