Developing Fault Tolerant Distributed Systems by Refinement

Elena Troubitsyna. Developing Fault Tolerant Distributed Systems by Refinement. In Jon Hall, Hermann Kaindl, Luigi Lavazza, Georg Buchgeher, Osamu Takaki, editors, The Fifth International Conference on Software Engineering Advances, ICSEA 2010, 22-27 August 2010, Nice, France. pages 178-183, IEEE Computer Society, 2010. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: