CORC

在结果中检索

CORC

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

限定条件    
已选(0)清除 条数/页：   排序方式：
Propagation-aware Temporal Verification for Parallel Business Cloud Workflows 其他
2017-01-01
作者:  Luo, Haoyu;  Liu, Xiao;  Liu, Jin;  Yang, Yun
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/05
Propagation-aware Temporal Verification for Parallel Business Cloud Workflows 其他
2017-01-01
作者:  Luo, Haoyu;  Liu, Xiao;  Liu, Jin;  Yang, Yun
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/05
Modular Reasoning for Message-Passing Programs 其他
2014-01-01
Lei, Jinjiang; Qiu, Zongyan
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Modular Reasoning for Message-Passing Programs 其他
2014-01-01
Lei, Jinjiang; Qiu, Zongyan
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/13
Trace-based temporal verification for message-passing programs 其他
2014-01-01
Lei, Jinjiang; Qiu, Zongyan; Shao, Zhong
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Lazy runtime verification for constraints on interacting objects 其他
2010-01-01
Shao, Jin; Deng, Fang; Liu, Haiwen; Wang, Qianxiang; Mei, Hong
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13
Early Filtering of Polluting Method Calls for Mining Temporal Specifications 其他
2008-01-01
Zhong, Hao; Zhang, Lu; Mei, Hong
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12
A new temporal logic CTL[k-QDDC] and its verification 其他
2008-01-01
Zhu, Jiaqi; Wang, Hanpin; Xu, Zhongyuan
收藏  |  浏览/下载：8/0  |  提交时间：2015/11/12
Improving encoding efficiency for Bounded Model Checking 其他
2008-01-01
Yang, Jinji; Su, Kaile; Chen, Qingliang
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
Early filtering of polluting method calls for mining temporal specifications 其他
2008-01-01
Zhong, Hao; Zhang, Lu; Mei, Hong
收藏  |  浏览/下载：1/0  |  提交时间：2017/12/03

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