Constructing Fault-Trees by Stepwise Refinement

From MaRDI portal
Publication:3967341