计算机应用与软件2021，Vol.38Issue(6)：84-93,10.DOI:10.3969/j.issn.1000-386x.2021.06.014
物联网系统时间自动机建模的研究与应用
RESEARCH AND APPLICATION OF TIME AUTOMATA MODELING IN INTERNET OF THINGS SYSTEM
陈光 1蒋同海 2王蒙 3唐新余 4季文飞1
作者信息
- 1. 中国科学院新疆理化技术研究所 新疆 乌鲁木齐830011
- 2. 中国科学院大学 北京100049
- 3. 江苏中科西北星信息科技有限公司 江苏 无锡214135
- 4. 中国科学院物联网研究发展中心 江苏 无锡214135
- 折叠
摘要
关键词
时间自动机/建模/自动机理论/建模工具/建模方法/UPPAAL/模型检测分类
信息技术与安全科学引用本文复制引用
陈光,蒋同海,王蒙,唐新余,季文飞..物联网系统时间自动机建模的研究与应用[J].计算机应用与软件,2021,38(6):84-93,10.
