Formal Methods for Internet of Things: a Concise Classification

Talamali, IbtissemLounas, RazikaMezghiche, Mohamed2024-12-172024-12-172024https://dspace.univ-boumerdes.dz/handle/123456789/14943enInternetArtificial intelligencePower and energy transitionFormal Methods for Internet of Things: a Concise ClassificationArticle