SZodixStudyAcademic Library

Shelves Open access

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

Development of an Efficient BDD Algorithm to Solve Large Fault Trees · Study

ChapterShelves

ChapterDevelopment of an Efficient BDD Algorithm to Solve Large Fault Trees

Woo Sik Jung2004

Chapter2004

Development of an Efficient BDD Algorithm to Solve Large Fault Trees

Woo Sik Jung · Sang Hoon Han · Jaejoo Ha

7 citations·0/0 files stored·Springer eBooks

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 — 7 citations exist upstream.

References

2001An ordering heuristic to develop the binary decision diagram based on structural importance 2003A new method to evaluate alternate AC power source effects in multi-unit nuclear power plants 1997Analytic method to break logical loops automatically in PSA

Related works

Explore the map →

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

2009Pandora : a logic for the qualitative analysis of temporal fault treesthesis · 1 shared reference 2011A New Ordering Method of Basic Events in Fault Tree Analysisarticle · 1 shared reference 2015Probabilistic Safety Assessment of twin-unit nuclear sites: Methodological elementsarticle · 1 shared reference 2013A Simple Algebra for Fault Tree Analysis of Static and Dynamic Systemsarticle · 1 shared reference 2002Application of the cause–consequence diagram method to static systemsarticle · 1 shared reference 2017A practical methodology for modeling and estimation of common cause failure parameters in multi-unit nuclear PSA modelarticle · 1 shared reference

Details

Year2004

Typechapter

Published2004-01-01

VenueSpringer eBooks

Languageen

Citations7

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1007/978-0-85729-410-4_539

openalex_workW2479345352

Links

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