SZodixStudyAcademic Library

Shelves Open access

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

Formalising Fault Trees · Study

ChapterShelves

ChapterFormalising Fault Trees

Janusz Górski1995

Chapter1995

Formalising Fault Trees

Janusz Górski · Andrzej Wardziński

20 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 Formal Methods in Verification Safety Systems Engineering in Autonomy

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

References

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

Cited by

2004Fault tree construction of hybrid system requirements using qualitative formal method 1997Timing Aspects of Fault Tree Analysis of Safety Critical Systems 1997An Object-Based Approach to Modelling and Analysis of Failure Properties 2006Partially automatic generation of fault-trees with time dependencies

Related works

Explore the map →

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

2000A Method of Analysis of Fault Trees with Time Dependenciesother · 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

Year1995

Typechapter

Published1995-01-01

VenueSpringer eBooks

Languageen

Citations20

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1007/978-1-4471-3003-1_18

openalex_workW1000195991

Links

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