Statistical Model Checking with Change Detection - Archive ouverte HAL
Chapitre D'ouvrage Année : 2016

Statistical Model Checking with Change Detection

Fichier principal
Vignette du fichier
fomacs.pdf (699.54 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

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⟩
332 Consultations
401 Téléchargements

Altmetric

Partager

More