CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Formal Modeling and Verification of Smart Contracts 会议论文
PROCEEDINGS OF 2018 7TH INTERNATIONAL CONFERENCE ON SOFTWARE AND COMPUTER APPLICATIONS (ICSCA 2018), 2018-01-01
作者:  Bai, Xiaomin;  Cheng, Zijing;  Duan, Zhangbo;  Hu, Kai
收藏  |  浏览/下载：17/0  |  提交时间：2019/12/30
Formal Modeling and Verification of Blockchain System 会议论文
PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION (ICCMS 2018), 2017-01-01
作者:  Duan, Zhangbo;  Mao, Hongliang;  Chen, Zhidong;  Bai, Xiaomin;  Hu, Kai
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
A Formal Approach for Modeling and Verification of Distributed Systems 会议论文
6th International Conference on Cloud Computing (CloudComp), Daejeon, SOUTH KOREA, 2016-01-01
作者:  Ren, Gang;  Deng, Pan;  Yang, Chao;  Zhang, Jianwei;  Hua, Qingsong
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Social-Relational Topic Model for Social Networks 会议论文
Melbourne, Oct 24-28
作者:  Guo, Weiyu;  Wu, Shu;  Wang, Liang;  Tan, Tieniu
收藏  |  浏览/下载：11/0  |  提交时间：2016/10/24
Fault Propagation Formal Modeling based on StateFlow 会议论文
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015-01-01
作者:  Chen, Lu;  Jiao, Jian;  Fan, Jiping
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06
Modeling of Aircraft Brake System in UML-B 会议论文
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015-01-01
作者:  Hu, Siyuan;  Zhang, Hong
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
Denial-of-service security attack in the continuous-time world 会议论文
34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014
Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2)
收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16
一种足部按摩机器人定位的预测建模方法 会议论文
11th World Congress on Intelligent Control and Automation (WCICA 2014), Shenyang, China, June 29 - July 4, 2014
作者:  魏英姿;  谷侃锋;  王洪光;  常勇
收藏  |  浏览/下载：34/0  |  提交时间：2014/12/29
Theory of test modeling based on regular expressions 会议论文
3rd International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2013, 2013-10-29
作者:  Liu, Pan[1];  Miao, Huaikou[2]
收藏  |  浏览/下载：5/0  |  提交时间：2019/04/30
Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph 会议论文
KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, KSEM 2014, 2014-01-01
作者:  Wu, Wenjuan;  Ma, Dianfu;  Zhao, Yongwang;  Zhao, Xianqi
收藏  |  浏览/下载：15/0  |  提交时间：2020/01/06

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