SZodixStudyAcademic Library

Shelves Open access

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

Extending Safety Analysis Techniques with Formal Semantics · Study

ChapterShelves

ChapterExtending Safety Analysis Techniques with Formal Semantics

Janusz Górski1994

Chapter1994

Extending Safety Analysis Techniques with Formal Semantics

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

References

1987Fault Tree Handbook 2002Fault trees and sequence dependencies

Cited by

2000A Method of Analysis of Fault Trees with Time Dependencies 1995Formalising Fault Trees 2002Extending fault trees with an AND-THEN gate 1997Timing Aspects of Fault Tree Analysis of Safety Critical Systems 2003A Fault-Tree Semantics to model Software-Controlled Systems.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.

2011Dynamic fault trees resolution: A conscious trade-off between analytical and simulative approachesarticle · 2 shared references 2011Automatic Synthesis of Static Fault Trees from System Modelsother · 2 shared references 2013A Static Analysis of Dynamic Fault Trees with Priority-AND Gatesother · 2 shared references 2019Induction of Fault Trees through Bayesian Networksother · 2 shared references 2010Formal static fault tree analysisother · 2 shared references 2015Methods and models in process safety and risk management: Past, present and futurearticle · 1 shared reference

Details

Year1994

Typechapter

Published1994-01-01

VenueSpringer eBooks

Languageen

Citations27

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1007/978-1-4471-2082-7_9

openalex_workW2127681894

Links

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