Statistical Model Checking with Change Detection - Archive ouverte HAL Access content directly
Book Sections Year : 2016

Statistical Model Checking with Change Detection

Fichier principal
Vignette du fichier
fomacs.pdf (699.54 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
324 View
372 Download

Altmetric

Share

Gmail Facebook X LinkedIn More