SZodixStudyAcademic Library

Shelves Open access

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

ZBDD algorithm features for an efficient Probabilistic Safety Assessment · Study

ArticleShelves

ArticleZBDD algorithm features for an efficient Probabilistic Safety Assessment

Woo Sik Jung2009

Article2009

ZBDD algorithm features for an efficient Probabilistic Safety Assessment

22 citations·0/0 files stored·Nuclear Engineering and Design

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 Reliability and Maintenance Optimization Formal Methods in Verification

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

1993New algorithms for fault trees analysis 1997Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia 2003A fast BDD algorithm for large coherent fault trees analysis 2001Efficient algorithms to assess component and gate importance in fault tree analysis 2006Including model uncertainty in risk-informed decision making 2004Analysis of truncation limit in probabilistic safety assessment 2004Can we trust PRA?1993Fault Tree Analysis: 1020 Prime Implicants and Beyond

Cited by

2014A method to improve cutset probability calculation in probabilistic safety assessment of nuclear power plants 2015A systematic framework to investigate the coverage of abnormal operating procedures in nuclear power plants 2013Fault tree linking versus event tree linking approaches: a reasoned comparison

Related works

Explore the map →

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

2014A method to improve cutset probability calculation in probabilistic safety assessment of nuclear power plantsarticle · 7 shared references 2008Binary Decision Diagrams for Reliability Studieschapter · 6 shared references 2008FAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATIONarticle · 6 shared references 2010A reduction approach to improve the quantification of linked fault trees through binary decision diagramsarticle · 5 shared references 2015Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysisarticle · 5 shared references 2004Can we trust PRA?article · 4 shared references

Details

Year2009

Typearticle

Published2009-06-10

VenueNuclear Engineering and Design

ISSN-L0029-5493

Languageen

Citations22

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1016/j.nucengdes.2009.05.005

openalex_workW2004222538

Links

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