CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
物联网系统时间自动机建模的研究与应用 期刊论文
计算机应用与软件, 2021, 卷号: 38, 期号: 6, 页码: 84-93
作者:  陈光1,2,3,4;  蒋同海1,5;  王蒙1,3,4;  唐新余1,3,4;  季文飞1,2,3,4
收藏  |  浏览/下载：22/0  |  提交时间：2021/06/24
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
SpaceWire网络层分析的时间自动机模型 期刊论文
微电子学与计算机, 2019, 卷号: 36, 页码: 1-5
作者:  潘雄;  邓威;  苑政国
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
基于时间自动机的WSN时间同步协议性能分析 学位论文
: 大连理工大学, 2018
作者:  赵昆雨
收藏  |  浏览/下载：9/0  |  提交时间：2019/12/02
基于时间自动机的ECA规则交互问题研究 期刊论文
计算机应用与软件, 2017, 卷号: 34, 页码: 74-79
作者:  赵鑫;  卢涛
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/02
Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO 期刊论文
International Journal of Distributed Sensor Networks, 2017, 卷号: Vol.13 No.4
作者:  Shengxin Dai;  Mei Hong;  Bing Guo
收藏  |  浏览/下载：8/0  |  提交时间：2019/03/26
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
顾玉磊; 朱雪阳; 晏荣杰; 张广泉
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
Verification of real-time properties based on Event-B models 会议论文
PROCEEDINGS OF THE 2015 INTERNATIONAL INDUSTRIAL INFORMATICS AND COMPUTER ENGINEERING CONFERENCE, 2015-01-01
作者:  Zhao Jinfu;  Zhang Hong;  Wang Xuejing
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
RGMP-ROS混合机器人操作系统节点间通信的形式化验证 期刊论文
小型微型计算机系统, 2015, 卷号: 36, 页码: 2379-2383
作者:  王亚;  王瑞;  关永;  魏洪兴;  李晓娟
收藏  |  浏览/下载：2/0  |  提交时间：2020/01/06

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