Learning and analysis of sensors behavior in IoT systems using statistical model checking

Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga

doi:10.1007/s11219-021-09559-w

Article Dans Une Revue Software Quality Journal Année : 2021

Learning and analysis of sensors behavior in IoT systems using statistical model checking

(1) , (1) , (1) , (1)

1

Salim Chehida

Fonction : Auteur
PersonId : 807783
ORCID : 0000-0002-5070-2591

VERIMAG

Abdelhakim Baouya

Fonction : Auteur
PersonId : 800423
ORCID : 0000-0003-2182-7501

VERIMAG

Saddek Bensalem

Fonction : Auteur
PersonId : 760268
ORCID : 0000-0002-5753-2126
IdRef : 124445454

VERIMAG

Marius Bozga

Fonction : Auteur
PersonId : 1084328
IdHAL : marius-bozga
ORCID : 0000-0003-4412-5684

VERIMAG

Domaines

Informatique [cs]

Fichier principal

Learning_and_analysis_of_sensors_behavior_in_IoT_s (1).pdf (3.08 Mo)

Origine	Fichiers éditeurs autorisés sur une archive ouverte

SALIM CHEHIDA : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03265797

Soumis le : lundi 25 novembre 2024-12:23:41

Dernière modification le : lundi 9 décembre 2024-03:20:48

Dates et versions

hal-03265797 , version 1 (25-11-2024)

Identifiants

HAL Id : hal-03265797 , version 1
DOI : 10.1007/s11219-021-09559-w

Citer

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga. Learning and analysis of sensors behavior in IoT systems using statistical model checking. Software Quality Journal, 2021, ⟨10.1007/s11219-021-09559-w⟩. ⟨hal-03265797⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG

24 Consultations

0 Téléchargements

Learning and analysis of sensors behavior in IoT systems using statistical model checking

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager