CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
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
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
Integrated formal verification of safety-critical software 期刊论文
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2018, 卷号: 20, 页码: 423-440
作者:  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
A survey on formal specification and verification of separation kernels 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2017, 卷号: 11, 页码: 585-607
作者:  Zhao, Yongwang;  Yang, Zhibin;  Ma, Dianfu
收藏  |  浏览/下载：12/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

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