CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Design and model checking of timed automata oriented architecture for Internet of thing 期刊论文
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2020, 卷号: 16, 期号: 5, 页码: 1-13
作者:  Chen, G (Chen, Guang)[ 1,2,3,4 ];  Jiang, TH (Jiang, Tonghai)[ 1,5 ];  Wang, M (Wang, Meng)[ 1,3,4 ];  Tang, XY (Tang, Xinyu)[ 1,3,4 ];  Ji, WF (Ji, Wenfei)[ 1,2,3,4 ]
收藏  |  浏览/下载：24/0  |  提交时间：2020/07/06
Parameter Synthesis Problems for one parametric clock Timed Automata 期刊论文
Formal Languages and Automata Theory, 2018
作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/26
Parameter Synthesis Problems for Parametric Timed Automata 期刊论文
Formal Languages and Automata Theory, 2018
作者:  Liyun Dai;  Bo Liu;  Zhiming Liu
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/26
Parameter synthesis problems for one parametric clock timed automata [arXiv] 期刊论文
arXiv, 2018, 页码: 20
作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/26
Parameter Synthesis Problems for Parametric Timed Automata [arXiv] 期刊论文
arXiv, 2018, 页码: 12
作者:  Liyun Dai;  Bo Liu;  Zhiming Liu;  Taolue Chen
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/26
An Original Approach to Constructing Test Model for IMA Blueprints 会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:  Fu, Jiapan;  Wang, Shihai;  Liu, Bin
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
A Refined Algorithm for Reachability Analysis of Updatable Timed Automata 期刊论文
2015 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY - COMPANION (QRS-C 2015), 2015, 页码: 230-236
作者:  Fang, Bingbing;  Li, Guoqiang*;  Fang, Ling;  Xiang, Jianwen
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/04
A Framework for Off-Line Conformance Testing of Timed Connectors 其他
2015-01-01
Li, Shaodong; Chen, Xiaohong; Wang, Yiwu; Sun, Meng
收藏  |  浏览/下载：6/0  |  提交时间：2017/12/03
基于异构多核平台的同步数据流图帕累托优化与调度 期刊论文
计算机科学, 2015, 卷号: 42, 期号: 11, 页码: 43-47
顾玉磊; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：16/0  |  提交时间：2016/12/09
A Full Symbolic Compositional Reachability Analysis of Timed Automata Based on BDD 会议论文
International Conference on Advanced Computational Intelligence, 2015-01-01
作者:  Du, Junwei[1];  Zhang, Huiping[2];  Yu, Gang[3];  Wang, Xi[4]
收藏  |  浏览/下载：5/0  |  提交时间：2019/04/26

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