Formal Methods for Internet of Things: a Concise Classification

Please use this identifier to cite or link to this item: http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/14943

Titre:	Formal Methods for Internet of Things: a Concise Classification
Auteur(s):	Talamali, Ibtissem Lounas, Razika Mezghiche, Mohamed
Mots-clés:	Internet Artificial intelligence Power and energy transition
Issue Date:	2024
Editeur:	Université M’hamed Bougara de Boumerdes : Faculté des Sciences
Collection/Numéro:	Proccedings of the first workshop on applications of artificial intelligence(AAI'24) / Boumerdes 16-17 Avril 2024;
URI:	http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/14943
Appears in Collections:	Communications Nationales

Files in This Item:

File	Description	Size	Format
Lounas.pdf		215,04 kB	Adobe PDF	View/Open