Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Rare Event Simulation for Statistical Model Checking

Cyrille Jegourel 1 
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Preprints, Working Papers, ...
Complete list of metadata
https://hal.inria.fr/hal-01088479
Contributor : Cyrille Jegourel Connect in order to contact the contributor
Submitted on : Friday, November 28, 2014 - 9:58:29 AM
Last modification on : Thursday, January 20, 2022 - 5:33:11 PM

Identifiers

  • HAL Id : hal-01088479, version 1

Collections

INSTITUT-TELECOM | EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | INSMI | IRISA-D4 | INRIA2 | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | UR1-MATH-NUM

Citation

Cyrille Jegourel. Rare Event Simulation for Statistical Model Checking. 2014. ⟨hal-01088479⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

153

 

Contact                    Legal Notice                    Personal Data