IoT Modeling and Verification: From the CaIT Calculus to UPPAAL

With the support of emerging technologies such as 5G, machine learning, edge computing and Industry 4.0, the Internet of Things (IoT) continues to evolve and promote the construction of future networks. Existing work on IoT mainly focuses on its practical applications, but there is little research o...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEICE Transactions on Information and Systems 2023/09/01, Vol.E106.D(9), pp.1507-1518
Hauptverfasser:	CHEN, Ningning, ZHU, Huibiao
Format:	Artikel
Sprache:	eng
Schlagworte:	Actuators Boilers CaIT calculus Calculus Edge computing Industrial applications Industry 4.0 Internet of Things IoT Machine learning Modelling New technology Smart buildings Smart houses timed automata UPPAAL Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!