Formal specification of N-modular redundancy

• Authors:

• L. Mancini;M. Koutny

• Affiliations:

• Computing Laboratory, The University, Newcastle upon Tyne, NE1 7RU, U.K.;Computing Laboratory, The University, Newcastle upon Tyne, NE1 7RU, U.K.

• Venue:
• CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
• Year:
• 1986