Pages that link to "Item:Q2403528"
From MaRDI portal
The following pages link to Fault trees on a diet: automated reduction by graph rewriting (Q2403528):
Displaying 4 items.
- The mechanical generation of fault trees for reactive systems via retrenchment. I. Combinational circuits (Q470019) (← links)
- The mechanical generation of fault trees for reactive systems via retrenchment. II. Clocked and feedback circuits (Q470020) (← links)
- The conversion of dynamic fault trees to stochastic Petri nets, as a case of graph transformation (Q2848075) (← links)
- (Q3703303) (← links)