Applied Statistical Model Checking for a Sensor Behavior Analysis

Salim Chehida; Abdelhakim Baouya; Saddek Bensalem; Marius Bozga

doi:10.1007/978-3-030-58793-2_32

Chapitre D'ouvrage Année : 2020

Applied Statistical Model Checking for a Sensor Behavior Analysis

Application de SMC pour l'analyse du comportement des capteurs

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

1

Salim Chehida

Fonction : Auteur
PersonId : 744463
IdHAL : salim-chehida

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] Intelligence artificielle [cs.AI] Théorie et langage formel [cs.FL]

SALIM CHEHIDA : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02926099

Soumis le : lundi 31 août 2020-13:17:58

Dernière modification le : jeudi 4 avril 2024-18:20:22

Dates et versions

hal-02926099 , version 1 (31-08-2020)

Identifiants

HAL Id : hal-02926099 , version 1
DOI : 10.1007/978-3-030-58793-2_32

Citer

Salim Chehida, Abdelhakim Baouya, Saddek Bensalem, Marius Bozga. Applied Statistical Model Checking for a Sensor Behavior Analysis. Communications in Computer and Information Science, pp.399-411, 2020, ⟨10.1007/978-3-030-58793-2_32⟩. ⟨hal-02926099⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA IMAG CNRS VERIMAG

31 Consultations

0 Téléchargements

Applied Statistical Model Checking for a Sensor Behavior Analysis

Application de SMC pour l'analyse du comportement des capteurs

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager