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 : Thursday, December 8, 2016 - 2:03:15 PM

Identifiers

  • HAL Id : hal-01340445, version 1

Collections

EC-PARIS | LGI-SR | CENTRALESUPELEC | LGI

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

761

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD