Skip to Main content Skip to Navigation
Journal articles

Towards a sound semantics for dynamic fault trees

Antoine Rauzy 1 C Bleriot-Fabre,
1 NTNU - Norwegian University of Science and Technology [Trondheim]
Document type :
Journal articles
Complete list of metadatas
https://hal-ecp.archives-ouvertes.fr/hal-01340445
Contributor : Yanfu Li <>
Submitted on : Friday, July 1, 2016 - 10:32:10 AM
Last modification on : Wednesday, April 8, 2020 - 3:52:26 PM

Identifiers

  • HAL Id : hal-01340445, version 1

Collections

EC-PARIS | LGI-SR | CENTRALESUPELEC | LGI | UNIV-PARIS-SACLAY

Citation

Antoine Rauzy, C Bleriot-Fabre,. Towards a sound semantics for dynamic fault trees. Reliability Engineering and System Safety, Elsevier, 2015. ⟨hal-01340445⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

995