CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
A formally verified buddy memory allocation model 会议论文
24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, 2019-11-10
作者:  Jiang, Ke;  Sanan, David;  Zhao, Yongwang;  Kan, Shuanglong;  Liu, Yang
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/30
Compositional Reasoning for Shared-Variable Concurrent Programs 会议论文
FORMAL METHODS, 2018-01-01
作者:  Zhang, Fuyuan;  Zhao, Yongwang;  Sanan, David;  Liu, Yang;  Tiu, Alwen
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/30
CSimpl: A Rely-Guarantee-Based Framework for Verifying Concurrent Programs 会议论文
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2017, PT I, 2017-01-01
作者:  Sanan, David;  Zhao, Yongwang;  Hou, Zhe;  Zhang, Fuyuan;  Tiu, Alwen
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Reasoning About Information Flow Security of Separation Kernels with Channel-Based Communication 会议论文
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS), Eindhoven, NETHERLANDS, 2016-04-02
作者:  Zhao, Yongwang;  Sanan, David;  Zhang, Fuyuan;  Liu, Yang
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Event-based Formalization of Safety-critical Operating System Standards: An Experience Report on ARINC 653 using Event-B 会议论文
2015 IEEE 26TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2015-01-01
作者:  Zhao, Yongwang;  Yang, Zhibin;  Sanan, David;  Liu, Yang
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
Building high-speed roads: Improving performance of SOAP processing for cloud services 会议论文
6th IEEE International Symposium on Service-Oriented System Engineering, SOSE 2011, Irvine, CA, United states, 2011-12-12
作者:  Liu, Huang;  Liu, Xudong;  Li, Jianxin;  Zhao, Yongwang;  Li, Zhuqing
收藏  |  浏览/下载：1/0  |  提交时间：2020/01/06
Study on power systems transient stability considering traction power supply system measurement-based load model 会议论文
2011 IEEE International Conference on Advanced Power System Automation and Protection (APAP), 1430-1434, 2011
作者:  Li JinXin;  Li XinRan;  Deng Wei;  Xu ZhenHua;  Liu QianYong
收藏  |  浏览/下载：0/0  |  提交时间：2020/01/05
Study on power systems transient stability considering traction power supply system measurement-based load model 会议论文
2011年继电保护与电力系统自动化国际会议, 北京, 2011
作者:  Li JinXin;  Li XinRan;  DENG Wei;  XU ZhenHua;  LIU QianYong
收藏  |  浏览/下载：0/0  |  提交时间：2020/01/05

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