Formal Methods for Internet of Things: a Concise Classification

Simple item page
dc.contributor.authorTalamali, Ibtissem
dc.contributor.authorLounas, Razika
dc.contributor.authorMezghiche, Mohamed
dc.date.accessioned2024-12-17T08:52:45Z
dc.date.available2024-12-17T08:52:45Z
dc.date.issued2024
dc.identifier.urihttps://dspace.univ-boumerdes.dz/handle/123456789/14943
dc.language.isoenen_US
dc.publisherUniversité M’hamed Bougara de Boumerdes : Faculté des Sciencesen_US
dc.relation.ispartofseriesProccedings of the first workshop on applications of artificial intelligence(AAI'24) / Boumerdes 16-17 Avril 2024;
dc.subjectInterneten_US
dc.subjectArtificial intelligenceen_US
dc.subjectPower and energy transitionen_US
dc.titleFormal Methods for Internet of Things: a Concise Classificationen_US
dc.typeArticleen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Lounas.pdf
Size:
215.04 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Communications Nationales