SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Towards a sound semantics for dynamic fault trees · Study

ArticleShelves

ArticleTowards a sound semantics for dynamic fault trees

Antoine B. Rauzy2015

OA

Articlegreen2015

Towards a sound semantics for dynamic fault trees

Antoine B. Rauzy · Chaire Blériot-Fabre

22 citations·0/0 files stored·Reliability Engineering & System Safety

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Risk and Safety Analysis Formal Methods in Verification Petri Nets in System Modeling

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 22 citations exist upstream.

References

2003A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes 2007Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains 2010Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events 2013The AltaRica 3.0 Project for Model-Based Safety Assessment 2004Parametric fault trees with dynamic gates and repair boxes 2011Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees 2010Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2011Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Treesarticle · 4 shared references 2011Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approachesarticle · 3 shared references 2016Uncovering Dynamic Fault Treesother · 3 shared references 2014Quantitative Analysis of Dynamic Fault Trees Based on the Coupling of Structure Functions and Monte Carlo Simulationarticle · 3 shared references 2020A Hybrid Modular Approach for Dynamic Fault Tree Analysisarticle · 3 shared references 2017Generalized Boolean logic Driven Markov Processes: A powerful modeling framework for Model-Based Safety Analysis of dynamic repairable and reconfigurable systemsarticle · 3 shared references

Details

Year2015

Typearticle

Published2015-05-16

VenueReliability Engineering & System Safety

ISSN-L0951-8320

Languageen

Citations22

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1016/j.ress.2015.04.017

openalex_workW296879134

Links

Imported from OpenAlex (CC0) — nothing here is generated.