Citation map · Study

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

2 references·6 citing·17 second hop

FromToDepth

this work references cited by second hop

References

1987Fault Tree Handbook775 cited
2002Fault trees and sequence dependencies129 cited

Cited by

2000A Method of Analysis of Fault Trees with Time Dependencies23 cited
1995Formalising Fault Trees20 cited
2002Extending fault trees with an AND-THEN gate14 cited
1997Timing Aspects of Fault Tree Analysis of Safety Critical Systems7 cited
2003A Fault-Tree Semantics to model Software-Controlled Systems.6 cited
2006Partially automatic generation of fault-trees with time dependencies6 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work