SZodixStudyAcademic Library

Shelves Open access

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

A Method of Analysis of Fault Trees with Time Dependencies · Study

WorkA Method of Analysis of Fault Trees with Time Dependencies

Jan Magott2000

Work2000

A Method of Analysis of Fault Trees with Time Dependencies

Jan Magott · Pawel Skrobanek

23 citations·0/0 files stored·Lecture notes in computer science

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

References

1987Fault Tree Handbook 1994Extending Safety Analysis Techniques with Formal Semantics

Related works

Explore the map →

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

1995Formalising Fault Treeschapter · 2 shared references 2002Extending fault trees with an AND-THEN gateother · 2 shared references 2003A Fault-Tree Semantics to model Software-Controlled Systems.article · 2 shared references 2015Methods and models in process safety and risk management: Past, present and futurearticle · 1 shared reference 2013Imprecise probabilities in engineering analysesarticle · 1 shared reference 2011Risk analysis and assessment methodologies in the work sites: On a review, classification and comparative study of the scientific literature of the period 2000–2009article · 1 shared reference

Details

Year2000

Typeother

Published2000-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations23

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1007/3-540-40891-6_16

openalex_workW1552043744

Links

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