机构

• 软件研究所 [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 ]   |  收藏  |   具体反例生成与图形化显示系统 期刊论文  OAI收割 计算机系统应用, 2013, 期号: 11, 页码: 51-57 信贤卫   |  收藏  |   基于Yices对时间自动机的有界模型检测 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129 王晓亮 收藏  |   改进的以SMT为基础的实时系统限界模型检测 期刊论文  OAI收割 软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502 徐亮   |  收藏  |   对时间自动机进行空性检测的过程和改进 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 122-125 魏绪凯 收藏  |   Distributed intrusion detection for mobile ad hoc networks 期刊论文  iSwitch采集 Journal of systems engineering and electronics, 2008, 卷号: 19, 期号: 4, 页码: 851-859 作者:  Yi Ping 收藏  |   一种基于离散时间自动机的LTL性质检测工具 期刊论文  OAI收割 计算机仿真, 2008, 期号: 4, 页码: 80-83 张文亮; 彭云全 收藏  |   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   |  收藏  |   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 收藏  |   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   |  收藏  |