SZodixStudyAcademic Library

Shelves Open access

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

Progression of the binary decision diagram conversion methods · Study

WorkProgression of the binary decision diagram conversion methods

Lisa M. Bartlett2003

OA

Workgreen2003

Progression of the binary decision diagram conversion methods

Lisa M. Bartlett

8 citations·0/0 files stored·Loughborough University Institutional Repository (Loughborough University)

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 Safety Systems Engineering in Autonomy

Abstract

This is a conference paper. It was presented at 21st International Systems Safety Conference, August 2-4, 2003, Ottowa, Westin Hotel.

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

References

2002An ordering heuristic for building binary decision diagrams from fault-trees 2003A new methodology to handle Boolean models with loops 1998Efficient basic event orderings for binary decision diagrams

Cited by

2024Performability Evaluation of Autonomous Underwater Vehicles Using Phased Fault Tree Analysis

Related works

Explore the map →

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

1999Efficient basic event ordering schemes for fault tree analysisarticle · 2 shared references 2000A simple component-connection method for building binary decision diagrams encoding a fault treearticle · 2 shared references 2014Quantification of Highly Coupled Dynamic Fault Tree Using IRVPM and SBDDarticle · 2 shared references 2008Variable ordering schemes to apply to the binary decision diagram methodology for event tree sequences assessmentarticle · 2 shared references 2001An ordering heuristic to develop the binary decision diagram based on structural importancearticle · 1 shared reference 2002Choosing a heuristic for the "fault tree to binary decision diagram" conversion, using neural networksarticle · 1 shared reference

Details

Year2003

Typeother

Published2003-01-01

VenueLoughborough University Institutional Repository (Loughborough University)

Languageen

Citations8

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

openalex_workW1152056858

Links

landingopen

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