CORC

在结果中检索

CORC

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

限定条件                    
已选(0)清除 条数/页：   排序方式：
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
Formal verification of dynamic hybrid systems: a NuSMV-based model checking approach 会议论文
4TH ANNUAL INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATION AND SENSOR NETWORK (WCSN 2017), 2018-01-01
作者:  Xu, Zhi;  Zhong, Deming;  Li, Weigang;  Huang, Hao;  Sun, Yigang
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/30
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
Integrated formal verification of safety-critical software 会议论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018-08-01
作者:  Ge, Ning;  Jenn, Eric;  Breton, Nicolas;  Fonteneau, Yoann
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
Evaluate Concurrent State Machine of SysML Model with Petri Net 会议论文
PROCEEDINGS OF THE 2018 13TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS (ICIEA 2018), 2018-01-01
作者:  Shen, Jieshi;  Liu, Lei;  Hu, Xiaoguang;  Zhang, Guofeng;  Xiao, Jin
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Formal Verification of User-Level Real-Time Property Patterns 会议论文
PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017-01-01
作者:  Ge, Ning;  Pantel, Marc;  Dal Zilio, Silvano
收藏  |  浏览/下载：5/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
Formal Development Process of Safety-Critical Embedded Human Machine Interface Systems 会议论文
PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2017-01-01
作者:  Ge, Ning;  Dieumegard, Arnaud;  Jenn, Eric;  d'Ausbourg, Bruno;  Ait-Ameur, Yamine
收藏  |  浏览/下载：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

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