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

researchr

You are not signed in
Sign in
Sign up

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]

runs on WebDSL