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]

Authors

Jie Xu

This author has not been identified. Look up 'Jie Xu' in Google

Brian Randell

This author has not been identified. Look up 'Brian Randell' in Google

Alexander B. Romanovsky

This author has not been identified. Look up 'Alexander B. Romanovsky' in Google

Robert J. Stroud

This author has not been identified. Look up 'Robert J. Stroud' in Google

Avelino F. Zorzo

This author has not been identified. Look up 'Avelino F. Zorzo' in Google

Ercument Canver

This author has not been identified. Look up 'Ercument Canver' in Google

Friedrich W. von Henke

This author has not been identified. Look up 'Friedrich W. von Henke' in Google