11 citations · 11 across the 3 of their papers we have counts for
1 paper · 1 filter
Francesco Vitale, Francesco Flammini, Mauro Caporuscio +1
Context: Ensuring high levels of dependability in modern computer-based systems has become increasingly challenging due to their complexity. Although systems are validated at desig…