191
Voted
FSTTCS
1997
Springer
15 years 11 months ago
1997
Springer
163
Voted
FSTTCS
1997
Springer
15 years 11 months ago
1997
Springer
We illustrate in this paper a compositional and stepwise method for designing programs that o er a potentially unique tolerance to each of their fault-classes. More speci cally, o...