DSpace
 

Depot Institutionnel de l'UMBB >
Publications Scientifiques >
Communications Nationales >

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 SizeFormat
Lounas.pdf215,04 kBAdobe PDFView/Open
View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback