CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
An Anonymous Authentication and Key Update Mechanism for IoT Devices Based on EnOcean Protocol 期刊论文
SENSORS, 2022, 卷号: 22, 期号: 17
作者:  Wu, Yi;  Feng, Tao
收藏  |  浏览/下载：19/0  |  提交时间：2022/09/22
Design of Embedded Ai Engine Based on the Microkernel Operating System 期刊论文
WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2022, 卷号: 2022, 页码: 9
作者:  Wang, Tun;  Tian, Yu
收藏  |  浏览/下载：10/0  |  提交时间：2023/02/07
Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z 期刊论文
MATHEMATICAL PROBLEMS IN ENGINEERING, 2020, 卷号: 2020, 页码: 11
作者:  Liu, Yang;  Huang, Liyuan;  Chen, Jingwei
收藏  |  浏览/下载：12/0  |  提交时间：2021/03/01
Formal Security Evaluation and Improvement of Industrial Ethernet EtherCAT Protocol 期刊论文
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2020, 卷号: 57, 期号: 11, 页码: 2312-2327
作者:  Feng, Tao;  Wang, Shuaishuai;  Gong, Xiang;  Fang, Junli
收藏  |  浏览/下载：12/0  |  提交时间：2020/12/18
Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei
收藏  |  浏览/下载：19/0  |  提交时间：2021/12/01
基于 TPM 2.0 的协议设计与分析研究 学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:  王微谨
收藏  |  浏览/下载：192/0  |  提交时间：2019/07/03
A Survey of Formal Techniques for Hardware/Software Co-verification 会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:  Liu, Kun;  Kong, Weiqiang;  Hou, Gang;  Fukuda, Akira
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/02
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges 期刊论文
IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, 2019, 卷号: 21, 页码: 940-969
作者:  Li, Yahui;  Yin, Xia;  Wang, Zhiliang;  Yao, Jiangyuan;  Shi, Xingang
收藏  |  浏览/下载：13/0  |  提交时间：2019/12/30
Invited paper: Beagle: A new framework for smart contracts taking account of law 会议论文
Proceedings - 13th IEEE International Conference on Service-Oriented System Engineering, SOSE 2019, 10th International Workshop on Joint Cloud Computing, JCC 2019 and 2019 IEEE International Workshop on Cloud Computing in Robotic Systems, CCRS 2019, 2019-04-04
作者:  Tsai, W.-T.;  Ge, N.;  Jiang, J.;  Feng, K.;  He, J.
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
Testing-based Model Learning Approach for Legacy Components 会议论文
PROCEEDINGS OF 2019 16TH INTERNATIONAL BHURBAN CONFERENCE ON APPLIED SCIENCES AND TECHNOLOGY (IBCAST), 2019-01-01
作者:  Ali, Shahbaz;  Sun, Hailong;  Zhao, Yongwang;  Akram, Naveed
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30

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