Towards a sound semantics for dynamic fault trees

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

Citation

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

Share

Metrics

Record views

758