Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions

Jie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. Rigorous Development of an Embedded Fault-Tolerant System Based on Coordinated Atomic Actions. IEEE Transactions on Computers, 51(2):164-179, 2002. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.