Zobrazeno 1 - 3
of 3
pro vyhledávání: '"closed-loop IoT"'
Publikováno v:
Information, Vol 11, Iss 4, p 232 (2020)
In this paper, we proposed a verification method for the message passing behavior of IoT systems by checking the accumulative event relation of process models. In an IoT system, it is hard to verify the behavior of message passing by only looking at
Externí odkaz:
https://doaj.org/article/8fdf699ca81a4f6c880d970cfe60159f
Publikováno v:
Information
Volume 11
Issue 4
Information, Vol 11, Iss 232, p 232 (2020)
Volume 11
Issue 4
Information, Vol 11, Iss 232, p 232 (2020)
In this paper, we proposed a verification method for the message passing behavior of IoT systems by checking the accumulative event relation of process models. In an IoT system, it is hard to verify the behavior of message passing by only looking at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ec1be78918a6bd3794c3e2cdada27ce2
https://doi.org/10.3390/info11040232
https://doi.org/10.3390/info11040232
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.