A formal approach to specify and verify Internet of Things architecture

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Internet of things (Amsterdam. Online) 2023-12, Vol.24, p.100972, Article 100972
Hauptverfasser:	Saidi, Abdessamad, Hadj Kacem, Mohamed, Tounsi, Imen, Hadj Kacem, Ahmed
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!