8 citations · 8 across the 1 of their papers we have counts for
1 paper
Manuel Mazzara
This paper introduces different views for understanding problems and faults with the goal of defining a method for the formal specification of systems. The idea of Layered Fault To…