Formal Model for Checking the Interoperability Between the Components of the IoT system
Today, the significant volumes of network traffic circulate through the Internet. The sources of such traffic are, in particular, the diverse territory distributed “smart” devices. The number of named devices is about billions. As a consequence, the relevance of bringing to practice the core concept...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Academy of Sciences of Moldova
2019-06-01
|
Series: | Problems of the Regional Energetics |
Subjects: | |
Online Access: | http://journal.ie.asm.md/assets/files/07_11_40_2019.pdf |