 |
HAL | Université de Versailles Saint-Quentin-en-Yvelines |
- Home
- Submit
- All publications
-
Laboratoires
- BECCOH - Biomarqueurs et Essais Cliniques en Cancérologie et Onco-Hématologie
- BREED - Biologie de la reproduction, environnement, épigénétique et développement
- CEARC - Cultures, Environnements, Arctique, Représentations, Climat
- CEMOTEV - Centre d'études sur la mondialisation, les conflits, les territoires et les vulnérabilités
- CESDIP - Centre de recherches sociologiques sur le droit et les institutions pénales
- CESP - Centre de recherche en épidémiologie et santé des populations
- CHCSC - Centre d'Histoire Culturelle des Sociétés Contemporaines
- DANTE - Laboratoire de Droit des Affaires et Nouvelles Technologies
- DAVID - Données et algorithmes pour une ville intelligente et durable
- DYPAC - Laboratoire Dynamiques patrimoniales et culturelles
- Link
- ERPHAN - Equipe de Recherche Paramédicale sur le Handicap NeuroMoteur
- GEMAC - Groupe d'Etude de la Matière Condensée
- 2I - Infection et Inflammation Chronique
- ILV - Institut Lavoisier de Versailles
- IPANEMA - Institut photonique d'analyse non-destructive européen des matériaux anciens
- LAAB - Laboratoire Anthropologie, Archéologie, Biologie
- LAREQUOI - Laboratoire de Recherche en Management
- LATMOS - Laboratoire Atmosphères, Milieux, Observations Spatiales
- LGBC - Laboratoire de génétique et biologie cellulaire
- LI-PaRAD - Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués
- LISV - Laboratoire d'Ingénierie des Systèmes de Versailles
- LMV - Laboratoire de Mathématiques de Versailles
- LPPD - Physiopathologie et pharmacologie clinique de la douleur
- LSCE - Laboratoire des Sciences du Climat et de l'Environnement
- PRINTEMPS - Professions, institutions, temporalités
- RISCQ - Risques cliniques et sécurité en santé des femmes et en santé périnatale
- VIM - Virologie et Immunologie Moléculaires
- VIP - Centre de recherche Versailles Saint-Quentin institutions publiques
- Research project
- Help
Conference papers
A Numerical Analysis of Dynamical Fault Trees based on Stochastic Bounds
Jean-Michel Fourneau
1
Nihal Pekergin
2
1
MAGMAT - Models, Algorithms, and Games for Molecules Analysis and Telecommunications
PRISM - Parallélisme, Réseaux, Systèmes, Modélisation
Jean-Michel Fourneau 1
Mail :
Author IdHAL : jean-michel-fourneau
Nihal Pekergin 2
Mail :
Author IdHAL : nihal-pekergin ORCID : https://orcid.org/0000-0003-3386-7658
1
MAGMAT - Models, Algorithms, and Games for Molecules Analysis and Telecommunications (France)
- PRISM - Parallélisme, Réseaux, Systèmes, Modélisation (UFR des sciences PRISM
Bâtiment Descartes
45 avenue des Etats-Unis
78035 VERSAILLES - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8144 (France)
- UVSQ - Université de Versailles Saint-Quentin-en-Yvelines : FRE3709 (55 avenue de Paris - 78035 Versailles cedex - France)
2
LACL - Laboratoire d'Algorithmique Complexité et Logique (LACL, Université Paris-Est Créteil Val-de-Marne, 61 avenue du Général de Gaulle 94010 Créteil cedex - France)
- UPEC UP12 - Université Paris-Est Créteil Val-de-Marne - Paris 12 : EA4219 (61 avenue du Général de Gaulle - 94010 Créteil cedex - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.uvsq.fr/hal-01309364
Contributor : Jean-Michel Fourneau <>
Submitted on : Friday, April 29, 2016 - 1:24:18 PM
Last modification on : Friday, January 10, 2020 - 3:42:32 PM
Contributor : Jean-Michel Fourneau <>
Submitted on : Friday, April 29, 2016 - 1:24:18 PM
Last modification on : Friday, January 10, 2020 - 3:42:32 PM
Identifiers
- HAL Id : hal-01309364, version 1
Citation
Jean-Michel Fourneau, Nihal Pekergin. A Numerical Analysis of Dynamical Fault Trees based on Stochastic Bounds. IEEE QEST, Javier Campos and Boudewijn R. Haverkort, 2015, Madrid, Spain. pp.176-191. ⟨hal-01309364⟩
Metrics
Record views