10 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
Ivan Gazeau, Dale Miller, Catuscia Palamidessi
Robustness is a standard correctness property which intuitively means that if the input to the program changes less than a fixed small amount then the output changes only slightly.…