CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
收藏  |  浏览/下载：13/0  |  提交时间：2016/12/09
An Approach to Checking Consistency between UML Class Model and Its Java Implementation 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 4, 页码: 322-344
Chavez, HM; Shen, WW; France, RB; Mechling, BA; Li, GY
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/09
基于Pushdown系统证明的可视化 学位论文
硕士, 北京: 中国科学院研究生院, 2016
周青
收藏  |  浏览/下载：21/0  |  提交时间：2016/06/21
Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135
Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13
An integrated framework of formal methods for interaction behaviors among industrial equipments 期刊论文
MICROPROCESSORS AND MICROSYSTEMS, 2015, 卷号: 39, 期号: 8, 页码: 1296-1304
Deng, P; Ren, G; Yuan, W; Chen, F; Hua, QS
收藏  |  浏览/下载：15/0  |  提交时间：2016/12/13
基于异构多核平台的同步数据流图帕累托优化与调度 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 11, 页码: 43-47
顾玉磊; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：18/0  |  提交时间：2016/12/09
ROS中XML-RPC协议实现的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 期号: 12, 页码: 2629-2633
贾娟娟; 施智平; 关永; 李勇坚; 魏洪兴
收藏  |  浏览/下载：47/0  |  提交时间：2016/12/09
基于MARTE模型的系统可靠性预测 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 12, 页码: 82
柴叶生; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文
Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Modeling and verifying of CPS component services based on hybrid automata 期刊论文
International Journal of Multimedia and Ubiquitous Engineering, 2014, 卷号: 9, 期号: 6, 页码: 49-57
作者:  Zhang, Jianning;  Zhang, Guanquan;  Yan, Rongjie;  Zhu, Yi;  Qi, Xingjun
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16

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