机构

• 软件研究所 [7]
• 中国科学院大学 [2]
• 新疆理化技术研究所 [1]

采集方式

• OAI收割 [8]
• iSwitch采集 [2]

内容类型

• 期刊论文 [8]
• 会议论文 [2]

发表日期

• 2020 [1]
• 2013 [1]
• 2010 [3]
• 2008 [2]
• 2005 [2]
• 2003 [1]
• 更多

学科主题

• Computer S... [3]

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Design and model checking of timed automata oriented architecture for Internet of thing 期刊论文  OAI收割 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 ]   |  收藏  |  浏览/下载：23/0  |  提交时间：2020/07/06 Internet of thing  architecture  timed automata  modeling  model checking  UPPAAL   具体反例生成与图形化显示系统 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 11, 页码: 51-57 信贤卫   |  收藏  |  浏览/下载：12/0  |  提交时间：2014/12/16 时间自动机  模型检测  LTL性质  反例生成  模拟器  timed automata  model checking  LTL properties  counterexample generation  simulator   基于Yices对时间自动机的有界模型检测 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129 王晓亮 收藏  |  浏览/下载：37/0  |  提交时间：2011/05/23 有界模型检测  时间自动机  SMT工具  可达性  安全性  逻辑公式bounded model checking  timed automata  SMT tools  reaehability  safety  logic formula   改进的以SMT为基础的实时系统限界模型检测 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502 徐亮   |  收藏  |  浏览/下载：25/0  |  提交时间：2011/05/23 限界模型检测  可满足性模块理论  实时系统  时间自动机  时间Kripke结构  带时间参数的计算树逻辑bounded model checking  satisfiability modulo theories  real-time system  timed automata  timed Kripke structure  TCTL (timed computation tree logic)   对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |  浏览/下载：22/0  |  提交时间：2011/05/23 时间自动机  模型检测  符号化方法  抽象方法  空性检测  LTL性质timed automata  model checking  symbolic method  abstraction  emptiness checking  LTL   Distributed intrusion detection for mobile ad hoc networks 期刊论文  iSwitch采集 Journal of systems engineering and electronics, 2008, 卷号: 19, 期号: 4, 页码: 851-859 作者:  Yi Ping;  Jiang Xinghao;  Wu Yue;  Liu Ning 收藏  |  浏览/下载：15/0  |  提交时间：2019/05/10 Mobile ad hoc networks  Routing protocol  Security  Intrusion detection  Timed automata   一种基于离散时间自动机的LTL性质检测工具 期刊论文  OAI收割 计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全 收藏  |  浏览/下载：67/2  |  提交时间：2011/06/10 离散时间自动机  非空性检测  线性时序逻辑性质  时间自动机  检测工具  Timed Automata  状态空间爆炸  线性时序逻辑  利用模型  指数增长  压缩存储  性质验证  系统规模  时间空间  检测效果  检测速度  检测过程  检测方法  存储延迟  效率  算法  实验  技术   symbolic model checking of finite precision timed automata 会议论文  OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Yan RJ; Li GY; Tang ZS   |  收藏  |  浏览/下载：14/0  |  提交时间：2011/07/28 finite precision timed automata  model checking  symbolic methods   Symbolic model checking of finite precision timed automata 期刊论文  iSwitch采集 Theoretical aspects of computing - ictac 2005, 2005, 卷号: 3722, 页码: 272-287 作者:  Yan, RJ;  Li, GY;  Tang, ZS 收藏  |  浏览/下载：24/0  |  提交时间：2019/05/10 Finite precision timed automata  Model checking  Symbolic methods   making timed automata communicate 会议论文  OAI收割 10th Colloquium of the United-Nations-University-International-Institute-for-Software-Technolog y (UNU/ISST), Lisbon, PORTUGAL, MAR 18-20, Chen J; Lin HM   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/29 real-time  value-passing  timed automata  timed symbolic transition graph