Zobrazeno 1 - 1
of 1
pro vyhledávání: '"EWI-17048"'
Publikováno v:
IEEE transactions on dependable and secure computing, 7(2), 128-143. IEEE
Fault trees (FT) are among the most prominent formalisms for reliability analysis of technical systems. Dynamic FTs extend FTs with support for expressing dynamic dependencies among components. The standard analysis vehicle for DFTs is state-based, a