Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification

Tun Lu, Ning Gu. Formal Recovery Analysis Approach for Service-Oriented System Based on Survivability Specification. In Grid and Cooperative Computing, Sixth International Conference on Grid and Cooperative Computing, GCC 2007, August 16-18, 2007, Urumchi, Xinjiang, China, Proceedings. pages 489-498, IEEE Computer Society, 2007. [doi]