当前位置:
X-MOL 学术
›
Int. J. Distrib. Sens. Netw.
›
论文详情
Our official English website, www.x-mol.net, welcomes your
feedback! (Note: you will need to create a separate account there.)
Design and model checking of timed automata oriented architecture for Internet of thing
International Journal of Distributed Sensor Networks ( IF 1.9 ) Pub Date : 2020-05-01 , DOI: 10.1177/1550147720911008 Guang Chen 1, 2, 3, 4 , Tonghai Jiang 1, 5 , Meng Wang 1, 3, 4 , Xinyu Tang 1, 3, 4 , Wenfei Ji 1, 2, 3, 4
International Journal of Distributed Sensor Networks ( IF 1.9 ) Pub Date : 2020-05-01 , DOI: 10.1177/1550147720911008 Guang Chen 1, 2, 3, 4 , Tonghai Jiang 1, 5 , Meng Wang 1, 3, 4 , Xinyu Tang 1, 3, 4 , Wenfei Ji 1, 2, 3, 4
Affiliation
The architecture model of the Internet of thing system is the primary foundation for the design and implementation of the Internet of thing system. This article discusses the method and practice of...
中文翻译:
面向定时自动机的物联网架构设计与模型检验
物联网系统的架构模型是物联网系统设计和实现的首要基础。本文讨论了...的方法和实践。
更新日期:2020-05-01
中文翻译:
面向定时自动机的物联网架构设计与模型检验
物联网系统的架构模型是物联网系统设计和实现的首要基础。本文讨论了...的方法和实践。