CORC

在结果中检索

CORC

浏览/检索结果: 共26条，第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 ]
收藏  |  浏览/下载：28/0  |  提交时间：2020/07/06
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
Solving the time varying postman problems with timed automata 期刊论文
OPTIMIZATION METHODS & SOFTWARE, 2015, 卷号: 30, 页码: 804-824
作者:  Sun, Jinghao;  Meng, Yakun;  Tan, GuoZhen;  Sun, Jingchang
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/09
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking 会议论文
PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015-01-01
作者:  Zhou, Conghua[1];  Wang, Yong[2];  Cao, Meiling[3];  Shi, Jianqi[4];  Liu, Yang[5]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/24
基于时间自动机的AADL端到端流的延迟分析 期刊论文
北京航空航天大学学报, 2015, 卷号: 41, 页码: 1451-1463
作者:  连小利;  张莉
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Supervision localization of timed discrete-event systems 会议论文
作者:  Cai, Kai;  Zhang, Renyuan;  Wonham, W.M.
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/03
具体反例生成与图形化显示系统 期刊论文
计算机系统应用, 2013, 期号: 11, 页码: 51-57
信贤卫
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
Supervision localization of timed discrete-event systems 期刊论文
AUTOMATICA, 2013, 卷号: 49, 期号: [db:dc_citation_issue], 页码: 2786-2794
作者:  Zhang, Renyuan;  Cai, Kai;  Gan, Yongmei;  Wang, Zhaoan;  Wonham, W. M.
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/10
The system verification of timed automata based on simulation graph 会议论文
2012 6th International Conference on New Trends in Information Science, Service Science and Data Mining (NISS, ICMIA and NASNIT), ISSDM 2012, 2012-10-23
作者:  Gui Yayun[1];  Xu Qingguo[2]
收藏  |  浏览/下载：4/0  |  提交时间：2019/04/30

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