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
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées
https://hal.inria.fr/hal-01088479
Contributeur : Cyrille Jegourel <>
Soumis le : vendredi 28 novembre 2014 - 09:58:29
Dernière modification le : vendredi 16 novembre 2018 - 01:39:30

Identifiants

  • HAL Id : hal-01088479, version 1

Collections

INRIA | INSMI | IRISA | IRISA-D4 | UR1-UFR-ISTIC | UNIV-RENNES

Citation

Cyrille Jegourel. Rare Event Simulation for Statistical Model Checking. 2014. 〈hal-01088479〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

322

Contact


archive-ouverte@inria.fr