Formal Methods for Internet of Things: a Concise Classification

	Accueil

Parcourir le dépôt par :
	Communautés et collections
	Issue Date
	Author
	Title
	Subject

Services personnalisés :
	Recevoir les nouveautés
	Espace personnel utilisateurs autorisés
	Modifier mon profil


	À propos de DSpace

Veuillez utiliser cette adresse pour citer ce document : 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
Date de publication:	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/URL:	http://dlibrary.univ-boumerdes.dz:8080/handle/123456789/14943
Collection(s) :	Communications Nationales

Fichier(s) constituant ce document :

Fichier	Description	Taille	Format
Lounas.pdf		215,04 kB	Adobe PDF	Voir/Ouvrir

Ce site utilise l'application DSpace, Version 1.4.1 - Commentaires