当前位置: 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
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
down
wechat
bug