Command-based importance sampling for statistical model checking - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2016

Command-based importance sampling for statistical model checking

Domaines

Génie logiciel [cs.SE] Performance et fiabilité [cs.PF]
Fichier principal
Vignette du fichier
main.pdf (363.41 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Sean Sedwards  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01387299

Soumis le : mardi 25 octobre 2016-13:38:18

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

Télécharger pour visualiser

Dates et versions

hal-01387299 , version 1 (25-10-2016)

Identifiants

Citer

Cyrille Jegourel, Axel Legay, Sean Sedwards. Command-based importance sampling for statistical model checking. Theoretical Computer Science, 2016, 649, pp.1 - 24. ⟨10.1016/j.tcs.2016.08.009⟩. ⟨hal-01387299⟩

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
168 Consultations
161 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More