Statistical Model Checking with Change Detection

Axel Legay; Louis-Marie Traonouez

doi:10.1007/978-3-319-46508-1_9

Chapitre D'ouvrage Année : 2016

Statistical Model Checking with Change Detection

(1) , (1)

1

Axel Legay

Fonction : Auteur

Threat Analysis and Mitigation for Information Security

Louis-Marie Traonouez

Fonction : Auteur
PersonId : 1324
IdHAL : louis-marie-traonouez
IdRef : 152855831

Threat Analysis and Mitigation for Information Security

Mots clés

Optimisation Satistical Model Checking MATLAB/Simulink Monitoring CUSUM

Domaines

Théorie et langage formel [cs.FL]

Fichier principal

fomacs.pdf (699.54 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

Louis-Marie Traonouez : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01242138

Soumis le : vendredi 11 décembre 2015-15:06:02

Dernière modification le : vendredi 24 mars 2023-14:53:01

Archivage à long terme le : samedi 29 avril 2017-11:03:53

Dates et versions

hal-01242138 , version 1 (11-12-2015)

Identifiants

HAL Id : hal-01242138 , version 1
DOI : 10.1007/978-3-319-46508-1_9

Citer

Axel Legay, Louis-Marie Traonouez. Statistical Model Checking with Change Detection. Transactions on Foundations for Mastering Change, 1, pp.157-179, 2016, 978-3-319-46507-4. ⟨10.1007/978-3-319-46508-1_9⟩. ⟨hal-01242138⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA CENTRALESUPELEC IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM

323 Consultations

369 Téléchargements

Statistical Model Checking with Change Detection

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager