The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1985 vol.34)
pp: 97-98
E. Best , GMD
ABSTRACT
In the above correspondence,1 A. Mili aims "to introduce the theoretical basis for the design and validation of self-checking programs." A theoretically sound basis is indeed needed for designing and validating robust fault-tolerant programs, and we follow progress made in this area with great interest. To our disappointment, we found that the formalism presented in the above correspondence<sup>1<
INDEX TERMS
null
CITATION
E. Best, F. Cristian, "Comments on "Self-Stabilizing Programs: The Fault-Tolerant Capability of Self-Checking Programs"", IEEE Transactions on Computers, vol.34, no. 1, pp. 97-98, January 1985, doi:10.1109/TC.1985.1676522
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool